))
Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering
Manage episode 408033508 series 3564007
Contenido proporcionado por cyfrin. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente cyfrin o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.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 episodios
Compartir
