ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks

12 March 2020

Papers citing "ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks"

11 / 11 papers shown

Title
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 44 615 0 26 Aug 2019
Harvey: A Greybox Fuzzer for Smart Contracts Valentin Wüstholz M. Christakis 73 188 0 15 May 2019
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts C. F. Torres M. Steichen Radu State 54 189 0 19 Feb 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 45 255 0 14 Dec 2018
Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats W. Tann X. Han Sourav Sengupta Yew-Soon Ong 46 35 0 16 Nov 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 34 111 0 27 Oct 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 42 692 0 11 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 64 923 0 04 Jun 2018
A Simple Voting Protocol on Quantum Blockchain Xin Sun Quanlong Wang P. Kulicki 36 55 0 29 May 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 39 287 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 40 596 0 16 Feb 2018