research
∙
01/26/2023
User-Customizable Transpilation of Scripting Languages
A transpiler converts code from one programming language to another. Man...
share
research
∙
02/04/2021
Refined Grey-Box Fuzzing with SIVO
We design and implement from scratch a new fuzzer called SIVO that refin...
research
∙
11/30/2018
OHIE: Blockchain Scaling Made Simple
Blockchain protocols, originating from Bitcoin, have established a new m...
research
∙
10/27/2018
Exploiting The Laws of Order in Smart Contracts
We investigate a family of bugs in blockchain-based smart contracts, whi...
research
∙
02/16/2018