Trail of Bits

Two New Tools that Tame the Treachery of Files

https://github.com/trailofbits/publications/tree/master/presentations/Differential%20fuzzing%2C%20or_%20how%20to%20find%20bugs%20when%20(ground)%20truth%20isn’t%20real

https://www.youtube.com/watch?v=LqRbfzhcI5g

https://github.com/trailofbits/ebpf-common https://github.com/trailofbits/ebpfault

https://blog.trailofbits.com/2019/06/20/getting-2fa-right-in-2019/ http://pyfound.blogspot.com/2020/01/start-using-2fa-and-api-tokens-on-pypi.html

Trail of Bits heads of Assurance Cactus Con talk on formal methods: https://github.com/lojikil/return-100-acre-woods

https://forum.openzeppelin.com/t/symbolic-execution/2158

https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/

https://www.youtube.com/watch?v=wq3bbiNTzFY