Talks

Selected invited talks, seminars, and presentations on blockchain, security, AI, privacy, and digital finance.

This page collects invited talks, seminars, and selected presentations across blockchain, security, privacy, AI, and digital finance.

Recent institution-facing speaking includes executive and MBA-level sessions on stablecoins, privacy, payments, and the implications of agentic AI for financial infrastructure.

  • March 25, 2026

    International Executive MBA @UCL: Stablecoins and Privacy for Institutional Adoption of Blockchain

  • May 13, 2025

    TLDR Conference (2025): Data-Oriented Denial-of-Service Attacks on ZK-Rollup TFMs

  • March 13, 2025

    ZKProof 7 (2025): Towards a Formal Foundation for Blockchain ZK Rollups

  • November 13, 2024

    Devcon (2024): What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • October 13, 2024

    Ethereum Engineering Group Meetup (Nov’24): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • June 13, 2024

    zkSummit 12 (2024): Analyzing and Benchmarking ZK-Rollups

  • June 13, 2024

    AFT (2024): Analyzing and Benchmarking ZK-Rollups

  • June 13, 2024

    USENIX Secuirty (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • June 13, 2024

    SBC (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • June 13, 2024

    Seminar Presentation @QMUL Theory Group (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • June 13, 2024

    Monerokon (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • May 28, 2024

    Seminar Presentation @OpenZeppelin (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • May 24, 2024

    ZKProof 6 (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs

  • December 13, 2023

    Seminar Presentation @UCL’s CREST lab (2023): Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

  • December 10, 2023

    Seminar Presentation @ETH’s AST Lab (2023): ZK Security and Formal Methods

  • September 17, 2023

    zkSummit 10 (2023): ZK Vulnerabilities and Attacks

  • August 29, 2023

    SBC (2023): Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

  • July 15, 2023

    TAROT (2023): Fuzzing Zero Knowledge Proof Circuits

  • December 1, 2022

    OOPSLA (2022): A Study of Inline Assembly in Solidity Smart Contracts

  • November 1, 2022

    Crypto Economics Security Conference (2022): A Study of Inline Assembly in Solidity Smart Contracts

  • September 6, 2021

    Dagstuhl Seminar on DeFi Security (2022): Finding Bugs in zkEVMs

  • September 5, 2021

    Seminar Presentation @AUEB’s BALAB (2022): Decentralized Finance and Empirical Studies in Solidity Smart Contracts

  • September 4, 2021

    PLDI/SIGPLAN Track (2022): Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

  • September 3, 2021

    Thesis Presentation @UOA (2021): A Study of Typing-Related Bugs in JVM Compilers

  • September 2, 2021

    OOPSLA (2021): Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

  • September 1, 2021

    ESORICS (2019): Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks