))
Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering
Manage episode 408033508 series 3564007
Sisällön tarjoaa cyfrin. cyfrin tai sen podcast-alustan kumppani lataa ja toimittaa kaiken podcast-sisällön, mukaan lukien jaksot, grafiikat ja podcast-kuvaukset. Jos uskot jonkun käyttävän tekijänoikeudella suojattua teostasi ilman lupaasi, voit seurata tässä https://fi.player.fm/legal kuvattua prosessia.
We go over:
- Formal Verification
- Symbolic Execution
- Fuzzing
- Static Analysis
With Trail of Bits Head of Engineering, Josselin Feist!
🐦 Josselin: https://twitter.com/Montyly
📝 Secure Contracts: https://secure-contracts.com/
🔵 Properties: https://github.com/crytic/properties
🦅 Manticore: https://github.com/trailofbits/manticore
🐍 Slither: https://github.com/crytic/slither
🦔 Echidna: https://github.com/crytic/echidna
⛨ Book a smart contract audit here!
👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇
☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️
Follow Cyfrin:
Twitter: https://twitter.com/CyfrinAudits
LinkedIn: https://www.linkedin.com/company/cyfrin/?
YouTube: https://www.youtube.com/@UCwlGG-aBeR95seT49XetR8A
Website: https://www.cyfrin.io/
14 jaksoa
Jaa
