- Formal Verification of Smart Contracts: Short Paper Karthikeyan Bhargavan Antoine Delignat-Lavaud Cédric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi Natalia Kulatova Aseem Rastogi Thomas Sibut-Pinote Nikhil Swamy Santiago Zanella-Béguelin Sun 22 April 2018
- Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts Shelly Grossman Ittai Abraham Guy Golan-Gueta Yan Michalevsky Noam Rinetzky Mooly Sagiv Yoni Zohar Sun 22 April 2018
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
