research
∙
04/21/2023
Schooling to Exploit Foolish Contracts
We introduce SCooLS, our Smart Contract Learning (Semi-supervised) engin...
share
research
∙
04/21/2023
Smart Learning to Find Dumb Contracts
We introduce Deep Learning Vulnerability Analyzer (DLVA), a vulnerabilit...
research
∙
01/30/2022
OverChain: Building a robust overlay with a blockchain
Blockchains use peer-to-peer networks for disseminating information amon...
research
∙
10/05/2020
Complexity Analysis of Tree Share Structure
The tree share structure proposed by Dockins et al. is an elegant model ...
research
∙
09/19/2019
Proof Pearl: Magic Wand as Frame
Separation logic adds two connectives to assertion languages: separating...
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
∙
07/02/2018
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves
New trusted computing primitives such as Intel SGX have shown the feasib...
research
∙
02/16/2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
Smart contracts---stateful executable objects hosted on blockchains like...
research
∙
01/02/2018