Loading Events

« All Events

  • This event has passed.

Mooly Sagiv on Formally Verifying Smart Contracts

March 25 @ 6:00 PM - 9:00 PM

Free

We’re pleased to have Professor Mooly Sagiv [1] from Tel Aviv University and the Vmware Research Group speak to us on formal verification of smart contracts. We will begin the event with a short talk from Eric McCarthy [2] of the Kestrel Institute on how ACL2 [3] could be used to verify the EVM.

Mooly’s abstract: “Smart contracts define transactions to be executed on top of Blockchain technology. The combination of a decentralized secure computation platform provided by blockchains, and the rich expressiveness of smart contracts, allows us to automate and secure processes which today are manual, slow, inefficient and prone to forgery. However, smart contracts are vulnerable to software errors which are exploited, e.g., for money thefts. In the last 18 months, there were 3 high-impact (over $500M) incidents caused directly by buggy smart contracts that were either exploited maliciously or mistakenly compromised.”

“I will present a high level overview of two techniques which can be used for early detection of contract vulnerabilities and preventing them by combining compile-time and run-time techniques: deductive verification and runtime checking.”

Mooly is co-author on the work that Yan Michalevsky presented to us recently [4].

[1] http://www.cs.tau.ac.il/~msagiv/
[2] http://www.kestrel.edu/home/people/mccarthy/
[3] http://www.cs.utexas.edu/users/moore/acl2/
[4] https://www.youtube.com/watch?v=Ru6X043Q63U

Details

Date:
March 25
Time:
6:00 PM - 9:00 PM
Cost:
Free
Event Category:
Website:
https://events.hackerdojo.com/event/5821457309368320-mooly-sagiv-on-formally-verifying-smart-contracts

Other

Rooms
Large Event Room
Number of attendees
55
Status
approved
Event ID
5821457309368320-mooly-sagiv-on-formally-verifying-smart-contracts
External URL
https://www.meetup.com/EthereumSiliconValley/events/248321492/