LaTeX package for automatically putting proof environments in appendix

Quantum circuits implementing x^2 mod N for TCF-based quantum advantage protocols

Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange

中华人民共和国密码行业标准(GM/T)文本

Lattices in Cryptography (University of Michigan)

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Fully Homomorphic Encryption library in Rust

A python library for quantum information and many-body calculations including tensor networks.

A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 cases

Vim + LaTeX snippets setup

A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH

An attempt at a new LWE estimator

Implementation of the fastest ISD algorithms

Documentation for the Division of Network and Systems Engineering's Cyber Security Lab at KTH

Implementation of "Approximate Divisor Multiples - Factoring with Only a Third of the Secret CRT-Exponents"

Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper

Script to extract relevant entries from very large bibtex databases.

Log4Shell RCE Exploit - fully independent exploit does not require any 3rd party binaries.

An implementation of the adaptive attack on G2SIDH as presented in the paper https://eprint.iacr.org/2021/990.

Track and evaluate the performance of your investment portfolio across stocks, cryptocurrencies, and other assets.

Non-applicability of CNRS patent to Kyber and Saber

A Rust library for the Marlin preprocessing zkSNARK