About Me
I am an Assistant Professor in the Department of Computer Science at the University of Warwick.
My research focuses on understanding and tackling security challenges in emerging computational systems. I study how new system architectures create novel security, trust, and incentive problems, and develop principled methods to analyze and address them. Across these domains, I am interested in both uncovering new vulnerabilities and designing practical defenses, combining rigorous systems and security research with AI-based techniques for analyzing, protecting, and optimizing complex systems.
A major part of my work investigates decentralized systems such as blockchains and DeFi, drawing on distributed systems, applied cryptography, confidential computing, game theory, and mechanism design to understand their security and incentive structures. I also increasingly study AI-driven and agentic systems, including the security risks that arise when autonomous agents interact with software, users, markets, and one another.
Ultimately, my goal is to understand the security foundations of emerging technologies and translate that understanding into practical tools and mechanisms that make future digital infrastructure more secure, trustworthy, and robust.
Research Interests
Decentralized Systems
Securing blockchains and decentralized systems, focusing on information security, distributed computing, and applied cryptography.
Cryptoeconomics
Using game theory, mechanism design, and causal inference to align incentives and ensure resilient decentralized finance.
AI for Security
Applying AI to enhance cybersecurity, including automating threat detection and vulnerability management.
Secure Agentic Systems
Designing secure architectures, infrastructure, and protocols for dependable AI agent ecosystems.
Publications
Full list available on Google Scholar.
-
NeurIPSSCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
-
CCSInsecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
-
ISSTAEnhancing Smart Contract Security Analysis with Execution Property Graphs
-
SIGMETRICSBlockchain Amplification Attack
-
S&PSecurity Perceptions of Users in Stablecoins: Advantages and Risks within the Cryptocurrency Ecosystem
-
AFTDeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance
-
ICBCWhat Drives the (In) stability of a Stablecoin?
-
SecuritySpeculative Denial-of-Service Attacks In Ethereum
-
WWWBlockchain censorship
-
Security
-
FCMitigating decentralized finance liquidations with reversible call options
-
WWWOn how zero-knowledge proof blockchain mixers improve, and worsen user privacy
-
S&PSok: Decentralized finance (defi) attacks
-
S&PQuantifying blockchain extractable value: How dark is the forest?
-
FCSpeculative multipliers on defi: Quantifying on-chain leverage risks
-
IMCAn empirical study of defi liquidations: Incentives, risks, and instabilities
-
S&PHigh-frequency trading on decentralized on-chain exchanges
-
S&POn the just-in-time discovery of profit-generating transactions in defi protocols
-
FC