About Me
I am an Assistant Professor in the Department of Computer Science at the University of Warwick. Before joining Warwick, I was with Yale University, hosted by Prof. Fan Zhang and Prof. Zhong Shao.
I earned my PhD at Imperial College London under the supervision of Prof. Arthur Gervais. Prior to that, I received my MSc from Imperial College London and my BE from Southeast University.
I co-founded Decentralized Intelligence (D23E), where we advance decentralization and intelligence.
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.
Security of AI
Safeguarding machine learning models against adversarial attacks, privacy breaches, and other threats.
Publications
Full list available on Google Scholar.
-
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