franziskuskiefer

Magisk

The Magic Mask for Android

engineer-manager

A list of engineering manager resource links.

rr

Record and Replay Framework

covid-19-data

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

theme-academic-cv

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

SEAL

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

badssl.com

:lock: Memorable site for testing clients against bad SSL configs.

liboqs

C library for prototyping and experimenting with quantum-resistant cryptography

hacl-star

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

iodide

Literate scientific computing and communication for the web

typeguard

Run-time type checker for Python

tikzit

pgf/TikZ diagram editor

cryptocoding

Guidelines for low-level cryptography software

sly

Sly Lex Yacc

RWTS-PDFwriter

An OSX print to pdf-file printer driver

safeside

Understand and mitigate software-observable side-channels

vulns

Named vulnerabilities and their practical impact

PQCrypto-SIDH

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 running a large-scale quantum computer, and security against classical algorithms.

tls-tris

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

nextcloud-drawio

Draw.io intergration app

der-ascii

A reversible DER and BER pretty-printer.

siderophile

Find the ideal fuzz targets in a Rust codebase

FaCT

Flexible and Constant Time Programming Language

million-dollar-curve

PKCS11-SPECS

All versions of PKCS#11 specification in one place

pake-selection

links

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

EasyUC

Experiments with Universal Composability in EasyCrypt

Blake2

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

FirefoxCertificateManager

Rose-Hulman Senior Project with Mozilla