An OSX print to pdf-file printer driver

A list of engineering manager resource links.

Data on COVID-19 (coronavirus) cases, deaths, hospitalizations, tests • All countries • Updated daily by Our World in Data

Find the ideal fuzz targets in a Rust codebase

Guidelines for low-level cryptography software

Understand and mitigate software-observable side-channels

🎓 无需编写任何代码即可轻松创建漂亮的学术网站 Easily create a beautiful academic résumé or educational website using Hugo and GitHub. No code.

The Magic Mask for Android

Sly Lex Yacc

Draw.io intergration app

pgf/TikZ diagram editor

Named vulnerabilities and their practical impact

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Flexible and Constant Time Programming Language

SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The chosen parameters aim to provide security against attackers ru…

Run-time type checker for Python

Experiments with Universal Composability in EasyCrypt

Literate scientific computing and communication for the web

HACL*, a formally verified cryptographic library written in F*

Links to stuff arising from or related to the HACS workshop.

All versions of PKCS#11 specification in one place

Basic implementation of Blake2 in C as a base for Argon2 for Mozilla's Network Security Services.

C library for prototyping and experimenting with quantum-resistant cryptography

crypto/tls, now with 100% more 1.3. THE API IS NOT STABLE AND DOCUMENTATION IS NOT GUARANTEED.

Rose-Hulman Senior Project with Mozilla

Record and Replay Framework

A reversible DER and BER pretty-printer.

🔒 Memorable site for testing clients against bad SSL configs.