Pinned Repositories
nss-taskcluster
DEPRECATED - Notifications for NSS on Taskcluster
customizable-shortcuts
[DISCONTINUED] Firefox add-on that allows to customize shortcuts
lex.js
A regex-based lexical analyzer for JavaScript
nginx-nss
A nginx offering support for the NSS cryptography library
norx-cryptol
Cryptol implementation of NORX v3.0
nss
Read only mirror of https://hg.mozilla.org/projects/nss
secret-notes
Examples for my talk "Keeping secrets with JavaScript - An Introduction to the WebCrypto API"
u2f-hid-rs
U2F USB Key Access Example in Rust
x-server-js
An X server implementation in JavaScript
ttaubert's Repositories
ttaubert/secret-notes
Examples for my talk "Keeping secrets with JavaScript - An Introduction to the WebCrypto API"
ttaubert/customizable-shortcuts
[DISCONTINUED] Firefox add-on that allows to customize shortcuts
ttaubert/norx-cryptol
Cryptol implementation of NORX v3.0
ttaubert/nginx-nss
A nginx offering support for the NSS cryptography library
ttaubert/rust-runloop
Cancelable non-blocking polling threads (with optional timeouts) for Rust
ttaubert/nss
Read only mirror of https://hg.mozilla.org/projects/nss
ttaubert/u2f-hid-rs
U2F USB Key Access Example in Rust
ttaubert/ascii-tls
ttaubert/cryptol-playground
ttaubert/docker-worker
Docker based worker for TaskCluster
ttaubert/draft-bar-cfrg-spake2plus
ttaubert/freeguide
Static sources for freeguide-berlin.de
ttaubert/fstar-cbs
Experiments with a generated ASN.1 parser written in F*
ttaubert/gecko-dev
Git fork of mozilla-central
ttaubert/kremlin-der
Experiments with F*/KreMLin and DER parsing
ttaubert/kremlin-fstar-docker
Docker image template to experiment with KreMLin and F*/Low*
ttaubert/libudev-sys
FFI bindings to libudev
ttaubert/osgp-oma-attacks
Rust implementation of attacks on OSGP's OMA digest
ttaubert/osgp-oma-digest
Rust implementation of OSGP's OMA digest
ttaubert/pygments.rb
pygments syntax highlighting in ruby
ttaubert/rust-cryptopals
The Matasano Crypto Challenges in Rust
ttaubert/rust-md2
A Rust library providing an (insecure) implementation of MD2.
ttaubert/rust-md2-collision
A Rust library to find collisions for MD2's compression function.
ttaubert/rust-md2-sbox
A Rust library to compute MD2's S-box.
ttaubert/SBOXDiscovery
Brute-force search algorithm for Bitslice DES S-box functions with Nvidia Maxwell LOP3.LUT instructions written in C#
ttaubert/sboxgates
Program for finding low gate count implementations of S-boxes.
ttaubert/timtaubert.de
Sources for https://timtaubert.de/
ttaubert/tlc
ttaubert/tls-interop
ttaubert/video4linux-net
A Mono wrapper for the Video4Linux API