I am a PhD candidate at KTH Royal Institute of Technology. My PhD journey started October 2020 working with Cyrille Artho as my main supervisor.
PhD Topic
The title of my PhD of my project is Temporal Monitoring of Smart Contracts. In short, it involves observing behavior of smart contracts to detect undesired interaction. The temporal aspect both time and even more importantly, partial ordering of actions.
Publications
- From Creation to Exploitation: The Oracle Lifecycle
- Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts
- Capturing Smart Contract Design with DCR Graphs
- Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
My Students
My Skills
Blog Posts
Here you can read my latest published articles: