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
During my last two years of stay at KTH as a PhD student, I supervised 9 master’s degree projects and 2 bachelors’ students project.
- Gustav Andersson Kasche, Topic: Smart Contracts Invariant Mining (from runtime data)
- Gabriele Morello, Topic: Smart Contracts Invariant Synthesis
- Glacier Ali, Topic: Unit Testing with Generative AI: A Study on Test Suite Generation and Quality Assessment
- Hans Stammler, Topic: Cross-Platform Monitoring of High-level Properties in Smart Contracts
- Viktor Åryd, Topic: Solidity AST Differencing
- Erik Cruz, Topic: An Initial Investigation of Automatic Program Repair for Solidity Smart Contracts with Large Language Models
- Siwei Zhang, Topic: Trace Visualization of Distributed and Centralized Applications
- Fredrik Svanholm, Topic: Implementation and Evaluation of a Decentralized Fund Protocol
- Mikael Jafari, Topic: Fundamental Attacks on Ethereum Oracles and How to Prevent Them
- Filip Jacobson and Gustav Andersson Kasche, Topic: AST Differencing for Solidity