Making Smart Contracts Smarter: Oyente

The contract analyzer OYENTE was built to detect vulnerabilities in smart contracts and will soon be released as open source. This presentation will give an overview of Oyente and how it can me used to make smart contracts smarter.

dapp development development tools security
Location: grand ballroom Date: September 20, 2016 Time: 3:20 pm - 3:35 pm Loi Luu