A transpiler converts code from one programming language to another. Man...
We design and implement from scratch a new fuzzer called SIVO that refin...
Blockchain protocols, originating from Bitcoin, have established a new m...
We investigate a family of bugs in blockchain-based smart contracts, whi...
Smart contracts---stateful executable objects hosted on blockchains like...