David Wong's Projects
Rust library for single assignment cells and lazy statics without macros
Ensure dune and opam dependencies are consistent
Main public package repository for opam, the source package manager of OCaml.
OSS-Fuzz - continuous fuzzing for open source software.
An open source, online threat modelling tool from OWASP
TLS 1.3 implementation in C (master supports RFC8446 as well as draft-26, -27, -28)
Versioning of types with bin_prot serialization
Hypothesis-like property testing for Rust
Tutorial for writing constraints in the `arkworks` framework
Generate cryptographically-secure random numbers in OCaml
attacking RSA via lattice reductions (LLL)
Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5
AWS SDK for Rust
Rust implementation of badge generation
Github Action to run the MIRAI static analyzer on a rust codebase
rust wrapper for rocksdb
A Scalable, User-Friendly Source Control System.
Secure End-to-End Encrypted Messaging Application for Enterprises and Private Communities
Tutorials for building modules for the Cosmos SDK
Serialization framework for Rust
Custom de/serialization functions for Rust's serde using the with-annotation
A private messenger for iOS
siphash implementation in rust
OCaml DSL for verifiable computation
A Rust implementation of the Noise Protocol Framework
Implementation of NIST SP 800-185 in Go: cSHAKE
Timing Attack on TLS' ECDSA signature
This is a mirror of http://strobe.sourceforge.io/
Readable Implementation of Strobe in Go