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...
share
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
∙
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
∙
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