Differentially Private Network-Trace-Analysis Tools – Research and analysis related to computer networks is often hampered by the tension between the need for accurate network packet traces to study, and the concern that these traces may contain sensitive information. Starting from recent work on differential privacy, we have produced a toolkit and a collection of standard network trace analyses using these…
FourQLib – FourQLib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a new, high-performance curve called “FourQ”.
FS2PV: A Cryptographic-Protocol Verifier for F# – FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties or to find security flaws.
LatticeCrypto – LatticeCrypto is a high-performance and portable software library that implements lattice-based cryptographic algorithms.
MSR ECCLib – MSR ECCLib is an efficient cryptographic library that provides functions for computing essential elliptic curve operations on a new set of high-security curves.
SIDH Library – SIDH is a fast and portable software library that implements a new suite of algorithms for Supersingular Isogeny Diffie-Hellman (SIDH) key exchange.
Simple Encrypted Arithmetic Library (SEAL) – SEAL is an easy-to-use homomorphic encryption library, developed by researchers in the Cryptography Research group at Microsoft Research. SEAL is written in C++11, and contains .NET wrappers for the public API. It has no external dependencies.
TulaFale: A Security Tool for Web Services – TulaFale is a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties.