Slide 17
Slide 17 text
References
● Garfatta, Ikram, Kais Klai, Walid Gaaloul, and Mohamed Graiet.
"A survey on formal verification for solidity smart contracts."
In 2021 Australasian Computer Science Week Multiconference, pp. 1-10. 2021.
● Bhargavan, Karthikeyan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi,
Georges Gonthier, Nadim Kobeissi, Natalia Kulatova et al.
"Formal verification of smart contracts: Short paper." In Proceedings of the 2016 ACM workshop
on programming languages and analysis for security, pp. 91-96. 2016.
● Luu, Loi, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. "Making smart
contracts smarter." In Proceedings of the 2016 ACM SIGSAC conference on computer and
communications security, pp. 254-269. 2016.
● Torres, Christof Ferreira, Julian Schütte, and Radu State. "Osiris: Hunting for integer bugs in
ethereum smart contracts." In Proceedings of the 34th Annual Computer Security Applications
Conference, pp. 664-676. 2018.
17