Gervais, Arthur
- Securify: Practical Security Analysis of Smart Contracts
2018/06/04 by Petar Tsankov, Tsankov, Petar, Andrei Dan +9 · 31 citations
Computer Science · #Blockchain Technology Applications and Security #Advanced Malware Detection Techniques #Security and Verification in Computing
- Quantifying Blockchain Extractable Value: How dark is the forest?
2021/01/14 by Kaihua Qin, Qin, Kaihua, Liyi Zhou +3 · 15 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- SoK: Decentralized Finance (DeFi) Attacks
2022/08/27 by Liyi Zhou, Xihan Xiong, Zhou, Liyi +17 · 15 citations
Business, Management and Accounting · Computer Science · Social Sciences · #Blockchain Technology Applications and Security #Crime, Illicit Activities, and Governance #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance
- Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit
2020/03/08 by Kaihua Qin, Liyi Zhou, Qin, Kaihua +5 · 12 citations
Computer Science · #Blockchain Technology Applications and Security
- High-Frequency Trading on Decentralized On-Chain Exchanges
2020/09/29 by Zhou, Liyi, Qin, Kaihua, Torres, Christof Ferreira +2 · 9 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Do you still need a manual smart contract audit?
2023/06/21 by Isaac David, Liyi Zhou, David, Isaac +9 · 9 citations
Computer Science · #Internet Traffic Analysis and Secure E-voting #Cryptography and Data Security #Advanced Malware Detection Techniques
- Proof of Steak
2021/12/13 by Jon Crowcroft, Hamed Haddadi, Crowcroft, Jon +5 · 1 voice
Computer Science · #cs.CR
- Blockchain Censorship
2023/05/29 by Anton Wahrstätter, Jens Ernstberger, Wahrstätter, Anton +19 · 5 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Networking and Internet Architecture (cs.NI) #Privacy-Preserving Technologies in Data
- Time to Bribe: Measuring Block Construction Market
2023/05/25 by Anton Wahrstätter, Liyi Zhou, Wahrstätter, Anton +7 · 4 citations
Psychology · #FOS: Computer and information sciences #Facilities and Workplace Management #Networking and Internet Architecture (cs.NI)
- CeFi vs. DeFi -- Comparing Centralized to Decentralized Finance
2021/06/15 by Kaihua Qin, Liyi Zhou, Qin, Kaihua +7 · 2 citations
Business, Management and Accounting · Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Digital Platforms and Economics #FOS: Computer and information sciences #FOS: Economics and business #FinTech, Crowdfunding, Digital Finance #General Finance (q-fin.GN)
- What Drives the (In)stability of a Stablecoin?
2023/06/15 by Yu‐Jin Kwon, Kornrapat Pongmala, Kwon, Yujin +13 · 2 citations
Computer Science · Economics, Econometrics and Finance · #Blockchain Technology Applications and Security #Complex Systems and Time Series Analysis #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Market Dynamics and Volatility
- The Decentralized Financial Crisis
2020/02/19 by Gudgeon, Lewis, Perez, Daniel, Harz, Dominik +2 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols
2021/03/03 by Liyi Zhou, Kaihua Qin, Zhou, Liyi +7 · 2 citations
Computer Science · Social Sciences · #Blockchain Technology Applications and Security #Crime, Illicit Activities, and Governance #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart\n Contracts
2021/01/15 by Christof Ferreira Torres, Torres, Christof Ferreira, Antonio Ken Iannillo +5 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Spam and Phishing Detection
- A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges
2021/06/14 by Liyi Zhou, Kaihua Qin, Zhou, Liyi +3 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Multi-Agent Penetration Testing AI for the Web
2025/08/28 by Isaac David, Arthur Gervais, David, Isaac +1 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Security and Intrusion Detection #Web Application Security Vulnerabilities
- On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy
2022/01/22 by Wang, Zhipeng, Chaliasos, Stefanos, Qin, Kaihua +5 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Blockchain Large Language Models
2023/04/25 by Yu Gai, Liyi Zhou, Gai, Yu +7 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Imbalanced Data Classification Techniques #Machine Learning (cs.LG) #Spam and Phishing Detection
- AI Agent Smart Contract Exploit Generation
2025/07/08 by Arthur Gervais, Liyi Zhou, Gervais, Arthur +1 · 5 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
- Enhancing Smart Contract Security Analysis with Execution Property Graphs
2023/05/23 by Kaihua Qin, Zhe Ye, Qin, Kaihua +13 · 1 citation
Computer Science · #Blockchain Technology Applications and Security
- AuthorMist: Evading AI Text Detectors with Reinforcement Learning
2025/03/10 by Isaac David, David, Isaac, Arthur Gervais +1 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Data Classification #Anomaly Detection Techniques and Applications