Assistant Professor @ INESC-ID & Instituto Superior Técnico (IST), University of Lisbon
ConFuzzius. A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
104HoneyBadger. A tool that detects honeypots in Ethereum smart contracts :honey_pot: (USENIX 2019).
102Osiris. A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
64Frontrunner-Jones. A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).
34Horus. A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).
32Elysium. A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
27FP-Block. Proof-of-concept allowing you to prevent/block browser fingerprinting (ESORICS 2015).
18Rolling-in-the-Shadows. A collection of tools to measure and analyze MEV across Layer-2 Rollups (CCS 2024).
16Web3-Privacy. A framework to quantify Web3-based browser fingerprinting and wallet address leakage (USENIX 2023).
13Crypto-Mining-Malware. An analysis on cryptocurrency mining malware embedded via JavaScript.
13Aegis. A generic runtime analysis tool to detect and protect against attacks in Ethereum (AsiaCCS 2020).
8TicketMiner. Proof-of-work micropayment system (client and server side).
8WI-SchnorrJS. A partially blind WI-Schnorr signature scheme implementation in JavaScript.
4WiFi-Ninja. A tool that let's you become a WiFi Ninja!
4TLDR_Shared_Sequencing_Arbitrage. Python
4contract-clone-detector. A code clone detection tool for Solidity smart contract code snippets (IMC 2024).
4MetaMask-HoneyBadger-Plugin. HoneyBadger MetaMask Snap plugin for the MetaMask browser extension :honey_pot: 🔌 (ICBC 2020).
2