Phying News
Curated security research, vulnerabilities, advisories and tools for practitioners.

Hacking for Charity: Automated Bug-finding in LibOTR

Summary

Trail of Bits aimed its Cyber Grand Challenge bug-finding system at libotr, the OTR messaging library, porting it to DECREE and finding no critical bugs in tested paths, settling a charity bet.
Published
Collected

original ↗

Related coverage

back