Fuzzing vs Formal Verification — Panel discussion | Web3 Security Summit
Web3 Security Summit
Fuzzing vs Formal Verification — Panel discussion | Web3 Security Summit
1:01:18
Detecting real-world Vulnerabilities — Yannis Bollanos | Dedaub
Web3 Security Summit
Detecting real-world Vulnerabilities — Yannis Bollanos | Dedaub
35:52
Zero Knowledge security for beginners — Laurence Kirk | Extropy.io
Web3 Security Summit
Zero Knowledge security for beginners — Laurence Kirk | Extropy.io
24:38
Crypto Sentry: Threat Modelling Web3 Infrastructures — Rahul Saxena | zkSync
Web3 Security Summit
Crypto Sentry: Threat Modelling Web3 Infrastructures — Rahul Saxena | zkSync
28:26
Unveiling WasmCov — Noah Jelich | Independent Security Researcher
Web3 Security Summit
Unveiling WasmCov — Noah Jelich | Independent Security Researcher
26:03
Novel on-chain oracle manipulations — Pietro Carta | ChainSecurity
Web3 Security Summit
Novel on-chain oracle manipulations — Pietro Carta | ChainSecurity
27:41
dApp Security: Creating a Trusted Web3 Space — Mike Krupin | Blockscout
Web3 Security Summit
dApp Security: Creating a Trusted Web3 Space — Mike Krupin | Blockscout
11:12
Why Forks Fail Often: Changing Risks with Unchanged Code — engn33r | yAudit
Web3 Security Summit
Why Forks Fail Often: Changing Risks with Unchanged Code — engn33r | yAudit
28:18
Writing and Auditing ZK Circuits — Petr Korolev | OXORIO
Web3 Security Summit
Writing and Auditing ZK Circuits — Petr Korolev | OXORIO
28:23
Wake Framework: Swiss Knife to Ethereum tooling — Josef Gattermayer | Ackee
Web3 Security Summit
Wake Framework: Swiss Knife to Ethereum tooling — Josef Gattermayer | Ackee
23:21
Slither: Advanced usage — Josselin Feist | Trail of Bits
Web3 Security Summit
Slither: Advanced usage — Josselin Feist | Trail of Bits
29:17
Solidity Debugging meets Formal Methods — Raoul Schaffranek | Runtime Verification
Web3 Security Summit
Solidity Debugging meets Formal Methods — Raoul Schaffranek | Runtime Verification
33:27