Research scientist at Google
Repositories
b5li/shell-encryption
b5li/IDASH18
b5li/curve25519-dalek-ng
A pure-Rust implementation of group operations on Ristretto and Curve25519 (forked to add/run special case benchmarks)
b5li/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
b5li/SymGC
Haskell implementation of the symbolic security framework and security proof of the garbled circuit scheme in "Symbolic Security of Garbled Circuits"
b5li/haskell.sty
LaTeX style file to typeset functional languages like Haskell
b5li/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.