CS SEMINAR

On the Security of Smart Contracts

Speaker
Dr Prateek Saxena
Chaired by
Dr Prateek SAXENA, Associate Professor, School of Computing
prateeks@comp.nus.edu.sg

23 Mar 2018 Friday, 03:00 PM to 04:00 PM

Executive Seminar Room, Level 4, I3 Building

Abstract:

Smart contracts are programs running on the blockchain, the execution of which is determined by consensus over a mining network. Ethereum, which features an expressive language for smart contracts now supports a vibrant developer community and millionsof contracts.

Ethereum contracts have, however, been shown susceptible numerous security vulnerabilities, millions of dollars worth in its digital currency.

Once deployed, contracts cannot easily be patched like common software and they work in a unique consensus-driven environment.

This talk presents the present approaches to securing contracts, with an emphasis on pre-deployment analysis and verification efforts. Specifically, it will highlight how systematic program analyses have led to the discovery of over 3,000 vulnerabilities automatically.