The Tao of Continuous Integration

Serving up zero-knowledge proofs

PDF is Broken: a justCTF Challenge

Reverie: An optimized zero-knowledge proof system

Seriously, Stop Using RSA

Efficient smart contract security audits with machine learning and slither-simil

Let’s build a high-performance fuzzer with GPUs

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

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

TSC Frequency for All: Better Profiling and Benchmarking

Destroying x86_64 instruction decoders with differential fuzzing

Tethered Jailbreaks Are Back

Better Encrypted Group Chat

Binary Symbolic Execution with KLEE-Native

From the Depths of Counterfeit Smartphones

Wrapper’s Delight

Fuck RSA

Understanding Docker Container Escapes

More →