v1v2 (latest)

Securify: Practical Security Analysis of Smart Contracts

4 June 2018

Martin Vechev

Papers citing "Securify: Practical Security Analysis of Smart Contracts"

50 / 186 papers shown

Title
TokenHook: Secure ERC-20 smart contract R. Rahimian Jeremy Clark 49 12 0 07 Jul 2021
Productivity, Portability, Performance: Data-Centric Python Yiheng Wang Yao Zhang Yanzhang Wang Yan Wan Jiao Wang Zhongyuan Wu Yuhao Yang Bowen She 165 101 0 01 Jul 2021
HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection Mengjie Ding Peiru Li Shanshan Li He Zhang 102 34 0 21 Jun 2021
Flash Crash for Cash: Cyber Threats in Decentralized Finance Kris Oosthoek SILM 89 13 0 20 Jun 2021
Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion Zhenguang Liu Peng Qian Xiang Wang Lei Zhu Qinming He S. Ji 89 109 0 17 Jun 2021
Security and Privacy for Healthcare Blockchains Rui Zhang Rui Xue Ling Liu 41 52 0 11 Jun 2021
A Survey of Security Vulnerabilities in Ethereum Smart Contracts N. Samreen Manar H. Alalfi 33 28 0 14 May 2021
Agatha: Smart Contract for DNN Computation Zihan Zheng Peichen Xie Xian Zhang Shuo Chen Yang Chen Xiaobing Guo Guangzhong Sun Guangyu Sun Lidong Zhou GNN 56 12 0 11 May 2021
DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications Siwei Wu Dabao Wang Jianting He Yajin Zhou Lei Wu Lizhen Qu Qinming He K. Ren AAML 64 67 0 30 Apr 2021
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose Dipanjan Das Yanju Chen Yu Feng Christopher Kruegel Giovanni Vigna 60 100 0 17 Apr 2021
EtherClue: Digital investigation of attacks on Ethereum smart contracts Simon Joseph Aquilina Fran Casino Mark Vella J. Ellul Constantinos Patsakis 49 15 0 12 Apr 2021
ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning O. Lutz Huili Chen Hossein Fereidooni Christoph Sendner Alexandra Dmitrienko A. Sadeghi F. Koushanfar 68 47 0 23 Mar 2021
Assessing Smart Contracts Security Technical Debts Sabreen Ahmadjee Carlos Mera-Gómez Rami Bahsoon 39 9 0 17 Mar 2021
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode Filippo Contro Marco Crosara Mariano Ceccato M. Preda 50 37 0 16 Mar 2021
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol P. Modesti S. F. Shahandashti Patrick McCorry Feng Hao 35 9 0 15 Mar 2021
BLOCKEYE: Hunting For DeFi Attacks on Blockchain Bin Wang Han Liu Chao Liu Zhiqiang Yang Qian Ren Huixuan Zheng Hong Lei 58 45 0 04 Mar 2021
Talaria: A Framework for Simulation of Permissioned Blockchains for Logistics and Beyond Jiali Xing David Fischer Nitya Labh Ryan Piersma B. Lee Yu Xia Tuhin Sahai Vahid Tarokh 18 10 0 03 Mar 2021
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols Liyi Zhou Kaihua Qin Antoine Cully B. Livshits Arthur Gervais 76 124 0 03 Mar 2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts Shaokai Lin Xinyuan Sun Jianan Yao Ronghui Gu 50 4 0 03 Mar 2021
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning Mojtaba Eshghie Cyrille Artho D. Gurov 50 54 0 15 Feb 2021
SoK: Decentralized Finance (DeFi) Sam M. Werner Daniel Perez L. Gudgeon Ariah Klages-Mundt D. Harz William J. Knottenbelt 190 272 0 21 Jan 2021
AGChain: A Blockchain-based Gateway for Trustworthy App Delegation from Mobile App Markets Mengjie Chen Xiao Yi Daoyuan Wu Jian F. Xu Yingjiu Li Debin Gao 55 1 0 16 Jan 2021
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts C. F. Torres Antonio Ken Iannillo Arthur Gervais R. State 60 39 0 15 Jan 2021
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Markus Scherer Matteo Maffei 97 11 0 14 Jan 2021
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts Nami Ashizawa Naoto Yanai Jason Paul Cruz Shingo Okamura 96 98 0 07 Jan 2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically T. D. Nguyen Long H. Pham Jun Sun 71 58 0 06 Jan 2021
A Survey on Vulnerabilities of Ethereum Smart Contracts Z. Khan A. Namin 41 7 0 28 Dec 2020
Verifying liquidity of recursive Bitcoin contracts Massimo Bartoletti Stefano Lande Maurizio Murgia R. Zunino 53 8 0 28 Nov 2020
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 75 88 0 01 Oct 2020
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems Bin Hu Zongyang Zhang Jianwei Liu Yizhong Liu Jiayuan Yin R. Lu Xiaodong Lin AILaw 122 116 0 31 Aug 2020
STAN: Towards Describing Bytecodes of Smart Contract Xiaoqi Li Ting Chen Xiapu Luo Tao Zhang Le Yu Zhou Xu 56 19 0 19 Jul 2020
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 53 1 0 15 Jul 2020
SmartBugs: A Framework to Analyze Solidity Smart Contracts J. Ferreira Pedro Cruz Thomas Durieux Rui Abreu 72 153 0 08 Jul 2020
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura 53 37 0 02 Jul 2020
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts Ru Ji Ningyu He Lei Wu Haoyu Wang Guangdong Bai Yao Guo 52 16 0 11 Jun 2020
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts C. F. Torres Antonio Ken Iannillo Arthur Gervais R. State 16 6 0 25 May 2020
Time-Travel Investigation: Towards Building A Scalable Attack Detection Framework on Ethereum Lei Wu Siwei Wu Yajin Zhou Runhuai Li Zhi Wang Xiapu Luo Cong Wang K. Ren 43 13 0 17 May 2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 70 122 0 13 May 2020
SMACS: Smart Contract Access Control Service Bowen Liu Siwei Sun Pawel Szalachowski 13 15 0 17 Mar 2020
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Mudabbir Kaleem Anastasia Mavridou Aron Laszka 37 37 0 16 Mar 2020
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks C. F. Torres Mathis Baden Robert Norvill Beltran Borja Fiz Pontiveros H. Jonker S. Mauw 65 47 0 12 Mar 2020
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Kaihua Qin Liyi Zhou B. Livshits Arthur Gervais 83 204 0 08 Mar 2020
Characterizing EOSIO Blockchain Yuheng Huang Haoyu Wang Lei Wu Gareth Tyson Xiapu Luo Run Zhang Xuanzhe Liu Gang Huang Xuxian Jiang 27 24 0 13 Feb 2020
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity P. Antonino A. W. Roscoe 59 14 0 07 Feb 2020
An Overview on Smart Contracts: Challenges, Advances and Platforms Zibin Zheng Shaoan Xie Hongning Dai Weili Chen Xiangping Chen J. Weng Muhammad Imran AILaw 76 805 0 22 Dec 2019
Smart Contract Repair Xiao Liang Yu Omar I. Al-Bataineh David Lo Abhik Roychoudhury 62 64 0 12 Dec 2019
Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures Jiaming Ye Mingliang Ma Yun Lin Lei Ma Yinxing Xue Jianjun Zhao 26 14 0 10 Dec 2019
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Alex Groce Josselin Feist Gustavo Grieco Michael Colburn 68 36 0 18 Nov 2019
Cost-Effective Data Feeds to Blockchains via Workload-Adaptive Data Replication Keqin Li Y. Tang Qi Zhang Zhehu Yuan Cheng Xu Jianliang Xu 23 4 0 11 Nov 2019
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract William Zhang Sebastian Banescu Leodardo Pasos Steven T. Stewart Vijay Ganesh 47 35 0 01 Nov 2019