Verifying Windows binaries, without Windows

Bug Hunting in Smart Contracts with Crytic

The Zeek Agent

Manticore: Symbolic execution for humans

Symbolically Executing WebAssembly in Manticore

Exploiting the Windows Cryptoapi Vulnerability

64 bits ought to be enough for anybody

Security assessment techniques for Go projects

Start using the Secure Enclave Crypto API

Everything You Ever Wanted To Know About Test-Case Reduction, But Didn’t Know to Ask