Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Fri 19 Jun 2020 10:00 - 10:20 at PLDI Research Papers live stream - Smart Contracts Chair(s): Ilya Sergey

While smart contracts have the potential to revolutionize many important applications like banking, trade, and supply-chain, their reliable deployment begs for rigorous formal verification. Since most smart contracts are not annotated with formal specifications, general verification of functional properties is impeded.

In this work, we propose an automated approach to verify unannotated smart contracts against specifications ascribed to a few manually-annotated contracts. In particular, we propose a notion of \emph{behavioral refinement}, which implies inheritance of functional properties. Furthermore, we propose an automated approach to inductive proof, by synthesizing simulation relations on the states of related contracts. Empirically, we demonstrate that behavioral simulations can be synthesized automatically for several ubiquitous classes like tokens, auctions, and escrow, thus enabling the verification of unannotated contracts against functional specifications.

Fri 19 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:20 - 10:20
Smart ContractsPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Ilya Sergey Yale-NUS College and National University of Singapore

YouTube lightning session video

Securing Smart Contract with Runtime Validation
PLDI Research Papers
Ao Li University of Toronto, Canada, Jemin Andrew Choi University of Toronto, Canada, Fan Long University of Toronto, Canada
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
PLDI Research Papers
Lexi Brent International Computer Science Institute, USA / University of Sydney, Australia, Neville Grech University of Athens, Greece, Sifis Lagouvardos University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece
Behavioral Simulation for Smart Contracts
PLDI Research Papers
Sidi Mohamed Beillahi IRIF - Université de Paris, Gabriela Ciocarlie SRI International, Michael Emmi Amazon Web Services, Constantin Enea University of Paris Diderot, France