David Wong's repositories
RSA_PKCS1v1_5_attacks
Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5
cryptobible
Auditing Applied Cryptography
disco-formal-verification
Formal Verification of the Disco protocol using Tamarin
goasmbyexample
Go Assembly by Example
democracy_threat_model
A threat model for democracies in general
unicornator
tool to find cryptography bugs in code
write-ups-2016
Wiki-like CTF write-ups repository, maintained by the community. 2016
babel-plugin-transform-jsbi-to-bigint
Compile JSBI code that works in today’s environments to native BigInt code.
balloon
A provably space-hard password hashing function.
feedback_real_world_cryptography
repository for people to leave feedback for the book Real World Cryptography
libsignal-protocol-javascript
Signal Protocol library for JavaScript
noise_spec
Noise Specification
Signal-iOS
A private messenger for iOS
strobe-mirror
This is a mirror of http://strobe.sourceforge.io/
theme-official
GitBook theme for our own books
tls13-spec
TLS 1.3 Specification