Starred repositories
A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.
A self-contained collaborative web application to upload, comment and review PDF documents
Threshold Signature Scheme for ECDSA
Research into rewrite-rule completion in miniKanren
Deployments of fancy cryptography
Firefox extension to automatically open websites in a container
A super sus AI app to order Sushi with AI and Blockchain and Cryptography
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
a bad computer algebra system. Don't use it. It's bad. Very bad.
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
Workflow-tracker service for Git repositories with Github and Gitlab integration, based on Maxelweb/workflow-tracker
2
Updated May 1, 2022
Libraries for finite field, elliptic curve, and polynomial arithmetic
BIT: A Very Compact Scheme System for Microcontrollers
Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
A handy collection of my public exploits, all in one place.
Papers from the computer science community to read and discuss.
Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
The papers and books I've read or am about to read.
A Go library containing a set of opinionated packages, objects, helpers and functions implemented with the KISS principle in mind.
A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.
This repository contains a docker container dedicated to reverse engineering