Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

6 April 2023

Papers citing "Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?"

5 / 5 papers shown

Title
Towards a Formal Foundation for Blockchain Rollups Stefanos Chaliasos Denis Firsov Benjamin Livshits 38 8 0 23 Jun 2024
Large Language Models for Blockchain Security: A Systematic Literature Review Zheyuan He Zihao Li Sen Yang Ao Qiao Xiaosong Zhang Xiapu Luo Ting Chen Ting Chen PILM 47 14 0 21 Mar 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs Stefanos Chaliasos Jens Ernstberger David Theodore David Wong Mohammad Jahanara Benjamin Livshits 26 17 0 23 Feb 2024
Unmasking Role-Play Attack Strategies in Exploiting Decentralized Finance (DeFi) Systems Weilin Li Zhun Wang Chenyu Li Heying Chen Taiyu Wong Pengyu Sun Yufei Yu Chao Zhang AAML 29 2 0 02 Oct 2023
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts Monika di Angelo Thomas Durieux J. Ferreira G. Salzer 28 11 0 08 Jun 2023