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.

Date

Feb 04 2021
Expired!

Time

4:45 pm - 5:15 pm

Local Time

  • Timezone: America/New_York
  • Date: Feb 03 2021
  • Time: 10:45 pm - 11:15 pm