Sylvain Bellemare

Demonstrates a scan of the vulnerable wormhole code with soteria.

MPIR is a library for arbitrary precision arithmetic. https://github.com/wbhart/mpir

Tools to work with Intel SGX, extracted from oscarlab/graphene. WORK in PROGRESS.

Dependencies for HoneyBadgerMPC.

Images for Charm, a framework for rapidly prototyping cryptosystems (http://charm-crypto.io/).

Images for FLINT, a C library for doing number theory. (http://www.flintlib.org/)

Rust images for "frozen-in-time" builds from past nightly builds.

PBC is a Pairing-Based Cryptography library (https://crypto.stanford.edu/pbc/).

Docker image for NTL, a library for doing number theory (https://www.shoup.net/ntl/).

A scalable blockchain database https://www.bigchaindb.com/

Simple dockerfile for texlive and texlive-latex-extra.

Simple image to run bitcoind & bitcoin-cli for testing purposes, i.e.: using regtest or testnet.