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