))
Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering
Manage episode 408033508 series 3564007
Konten disediakan oleh cyfrin. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh cyfrin atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang diuraikan di sini https://id.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 episode
Bagikan
