Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
on this interview. Additionally, special thanks to Hari, Runtime Verification, Leo Alt, and Palina for their help in understanding these concepts and work in the field. You can see the full interview with Troy here. You can see the full interview with Josselin here. Introduction Watch the video