2021 AISC – A Survey on Formal Verification for Solidity Smart Contracts

Ikram Garfatta

Ikram Garfatta: I am currently a PhD student under a joint supervision between the National Engineering School of Tunis in Tunisia and the University Sorbonne Paris Nord in France. My thesis focuses on the formal verification of smart contracts as a means to achieve correct Blockchain-based business processes.


Feb 04 2021


4:45 pm - 5:15 pm

Local Time

  • Timezone: America/New_York
  • Date: Feb 04 2021
  • Time: 12:45 am - 1:15 am