research
∙
09/06/2023
Fuzz on the Beach: Fuzzing Solana Smart Contracts
Solana has quickly emerged as a popular platform for building decentrali...
share
research
∙
04/13/2023
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation
Smart contracts are increasingly being used to manage large numbers of h...
research
∙
03/08/2022
xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64
Memory safety in complex applications implemented in unsafe programming ...
research
∙
03/01/2022
Practical Mitigation of Smart Contract Bugs
In spite of their popularity, developing secure smart contracts remains ...
research
∙
08/16/2021
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers
Fuzzing has become one of the most popular techniques to identify bugs i...
research
∙
04/23/2021
ClepsydraCache – Preventing Cache Attacks with Time-Based Evictions
Both the shift towards attacks on the microarchitectural CPU level and t...
research
∙
10/01/2020
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
Recent attacks exploiting errors in smart contract code had devastating ...
research
∙
07/15/2020
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves
Intel's Software Guard Extensions (SGX) introduced new instructions to s...
research
∙
07/05/2020
Breaking and Fixing Destructive Code Read Defenses
Just-in-time return-oriented programming (JIT-ROP) is a powerful memory ...
research
∙
12/20/2018
Control Behavior Integrity for Distributed Cyber-Physical Systems
Cyber-physical control systems, such as industrial control systems (ICS)...
research
∙
12/14/2018
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
Recently, a number of existing blockchain systems have witnessed major b...
research
∙
08/15/2016