Graphtage: A New Semantic Diffing Tool

Sinter: New user-mode security enforcement for macOS

ECDSA: Handle with Care

Breaking the Solidity Compiler with a Fuzzer

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