Quentin Hibon
1 talk by Quentin Hibon
Securify: Not Your Grandma’s Smart Contract Verification