Talks

Invited talks, seminars, and conference presentations on blockchain, security, privacy, AI, and digital finance.

2026

25 Mar 2026
Stablecoins and Privacy for Institutional Adoption of Blockchain
International Executive MBA @UCL

12 May 2025
Data-Oriented Denial-of-Service Attacks on ZK-Rollup TFMs
TLDR Conference
23 Mar 2025
Towards a Formal Foundation for Blockchain ZK Rollups
ZKProof 7

15 Nov 2024
What don't we know? Understanding Security Vulnerabilities in SNARKs
Devcon
1 Nov 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Ethereum Engineering Group Meetup
8 Oct 2024
Analyzing and Benchmarking ZK-Rollups
zkSummit 12
23 Sept 2024
Analyzing and Benchmarking ZK-Rollups
AFT
14 Aug 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
USENIX Security
7 Aug 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
SBC
13 Jun 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Seminar Presentation @QMUL Theory Group
7 Jun 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Monerokon
28 May 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Seminar Presentation @OpenZeppelin
23 May 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
ZKProof 6

13 Dec 2023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Seminar Presentation @UCL's CREST lab
10 Dec 2023
ZK Security and Formal Methods
Seminar Presentation @ETH's AST Lab
20 Sept 2023
ZK Vulnerabilities and Attacks
zkSummit 10
29 Aug 2023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
SBC
15 Jul 2023
Fuzzing Zero Knowledge Proof Circuits
TAROT

9 Dec 2022
A Study of Inline Assembly in Solidity Smart Contracts
OOPSLA
1 Nov 2022
A Study of Inline Assembly in Solidity Smart Contracts
Crypto Economics Security Conference
4 Sept 2022
Finding Bugs in zkEVMs
Dagstuhl Seminar on DeFi Security
17 Jun 2022
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
PLDI/SIGPLAN Track

21 Oct 2021
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
OOPSLA
5 Sept 2021
Decentralized Finance and Empirical Studies in Solidity Smart Contracts
Seminar Presentation @AUEB's BALAB
3 Sept 2021
A Study of Typing-Related Bugs in JVM Compilers
Thesis Presentation @UOA

25 Sept 2019
Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks
ESORICS