Become a Sponsor

Archives

Automated Verification of Smart Contracts: Current State and Future Directions

-

SPEAKER

Josselin Feist

EVENT

EthCC[2]

Date

03/10/2019

CATEGORY

Security

TYPE

Talk

LANGUAGE

EN

Security videos

EthCC[5] thumbnail
Auctions, coins and security

EthCC[5]

EthCC[6] thumbnail
Auditing ink! with OpenZeppelin

EthCC[6]

EthCC[6] thumbnail
Auditing zkEVM and it's attack surfaces

EthCC[6]

EthCC[5] thumbnail
Automated Vulnerability Fixing in (DeFi) Smart Contracts

EthCC[5]

EthCC[4] thumbnail
Becoming the most secure crypto organisation

EthCC[4]

EthCC[2] thumbnail
Blockchain for Social Impact: Real-World Applications and Case Studies

EthCC[2]

EthCC[2] thumbnail
Blockchain for Supply Chain Management: Opportunities and Challenges

EthCC[2]

EthCC[5] thumbnail
Blockchain Security/Privacy: dont keep it too simple!

EthCC[5]

EthCC[2] thumbnail
Building Decentralized Cloud Computing with iExec

EthCC[2]

EthCC[6] thumbnail
Building MPC Wallets

EthCC[6]