))
Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering
Manage episode 408033508 series 3564007
Contenuto fornito da cyfrin. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da cyfrin o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.
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 episodi
Condividi
