Category Archives: Cryptography

Themes from Real World Crypto 2022 May 3, 2022

Amarna: Static analysis for Cairo programs April 20, 2022

Part 2: Improving crypto code in Rust using LLVM’s optnone February 1, 2022

Part 1: The life of an optimization barrier January 26, 2022

Serving up zero-knowledge proofs February 19, 2021

Reverie: An optimized zero-knowledge proof system December 14, 2020

ECDSA: Handle with Care June 11, 2020

Detecting Bad OpenSSL Usage May 29, 2020

Verifying Windows binaries, without Windows May 27, 2020

Reinventing Vulnerability Disclosure using Zero-knowledge Proofs May 21, 2020