Talks and Presentations
Cardano Summit 2024
Invited Talk
Title: Optimizing Rewards: Cutting-Edge Research Insights
IEEE International Conference on Blockchain (Blockchain 2024)
Oral Presentation
Title: Options and Futures Imperil Bitcoin’s Security
Object‑Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023)
Oral Presentation
Title: Asparagus: Automated Synthesis of Parametric Gas Upper‑bounds for Smart Contracts
IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2023)
Poster Presentation
Title: Reducing the gas usage of Ethereum smart contracts without a sidechain