Formal Verification of Smart Contracts Short Paper[C] PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16) 2016 Bhargavan, Karthikeyan Delignat-Lavaud, Antoine Fournet, Cedric Gollamudi, Anitha Gonthier, Georges Kobeissi, Nadim Kulatova, Natalia Rastogi, Aseem Sibut-Pinote, Thomas Swamy, Nikhil Zanella-Beguelin, Santiago
