Compositional Security for Reentrant Applications

Compositional Security for Reentrant Applications

15 March 2021

Ethan Cecchetti

Papers citing "Compositional Security for Reentrant Applications"

12 / 12 papers shown

Title
Nonmalleable Progress Leakage Ethan Cecchetti 7 0 0 18 May 2025
Secure Smart Contract with Control Flow Integrity Zhiyang Chen Sidi Mohamed Beillahi Pasha Barahimi Cyrus Minwalla Han Du A. Veneris Fan Long 24 0 0 07 Apr 2025
System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective Fangzhou Wu Ethan Cecchetti Chaowei Xiao 46 13 0 27 Sep 2024
Temporarily Restricting Solidity Smart Contract Interactions Valerian Callens Zeeshan Meghji J. Gorzny 38 5 0 15 May 2024
A New Era in LLM Security: Exploring Security Concerns in Real-World LLM-based Systems Fangzhou Wu Ning Zhang Somesh Jha P. McDaniel Chaowei Xiao 36 69 0 28 Feb 2024
Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild Jiaqi Chen Yibo Wang Yuxuan Zhou Wanning Ding Y. Tang Xiaofeng Wang Kai Li 166 7 0 21 Jan 2024
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation Michael Rodler D. Paaßen Wenting Li Lukas Bernhard Thorsten Holz Ghassan O. Karame Lucas Davi 22 17 0 13 Apr 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 34 39 0 14 Feb 2023
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler Sebastian Biewer Clara Schneidewind 30 9 0 31 Jan 2023
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts Nikolay Ivanov Qiben Yan Anurag Kompalli 29 19 0 20 Jan 2023
EthClipper: A Clipboard Meddling Attack on Hardware Wallets with Address Verification Evasion Nikolay Ivanov Qiben Yan 21 7 0 31 Aug 2021
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose Dipanjan Das Yanju Chen Yu Feng Christopher Kruegel Giovanni Vigna 36 94 0 17 Apr 2021