Enforcing Control Flow Integrity on Smart Contracts
University of Toronto (Remote)
Aug 2024 - Sep 2024 | Research Intern |
Detecting self-reverting storage slots in Ethereum smart contracts
Research
TruSt Implementation in Lincheck
Max Planck Institute for Software Systems
Jul 2023 - Sep 2023 | Research Intern |
Implementation of a stateless DPOR algorithm for a model-checking framework