Pinned Repositories
hacl-packages
The Cryspen HACL Distribution
app-keys-gnome-shell-extension
Unity-like shortcuts for gnome dock applications
CertificateFuzzer
Certificate Fuzzer based on the work by Johannes Roth (cryptosource)
cose-rust
A Rust library for COSE
evercrypt-rust
Rust bindings for HACL & Evercrypt
hpke-rs
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
rust-hacl-star
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
wunderlist-calendar
A simple Wunderlist-GoogleCalendar script to show ToDos in Google Calendar
hacspec
Please see https://github.com/hacspec/hax
openmls
Rust implementation of the Messaging Layer Security (MLS) protocol
franziskuskiefer's Repositories
franziskuskiefer/app-keys-gnome-shell-extension
Unity-like shortcuts for gnome dock applications
franziskuskiefer/evercrypt-rust
Rust bindings for HACL & Evercrypt
franziskuskiefer/hpke-rs
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
franziskuskiefer/cose-rust
A Rust library for COSE
franziskuskiefer/cbor-rust
CBOR library written in Rust
franziskuskiefer/algorithm-identifiers-rs
A registry of crypto types for Rust
franziskuskiefer/contributors
Contributors to the Ockam Open Source projects
franziskuskiefer/draft-irtf-cfrg-blind-signatures
franziskuskiefer/draft-irtf-cfrg-hpke
Hybrid Public Key Encryption
franziskuskiefer/everest
franziskuskiefer/formats
Cryptography-related format encoders/decoders: PKCS, PKIX
franziskuskiefer/franziskuskiefer
franziskuskiefer/franziskuskiefer.github.io
franziskuskiefer/hacl-star
HACL*, a formally verified cryptographic library written in F*
franziskuskiefer/hugo-theme-stack
Card-style Hugo theme designed for bloggers
franziskuskiefer/imap-codec
Parsing and construction of IMAP messages
franziskuskiefer/kerkour.com
(Ab)using technology for fun & profit. https://kerkour.com
franziskuskiefer/key-store-rs
A key store in Rust
franziskuskiefer/maelstrom
MLS (Messaging Layer Security) implementation in Rust
franziskuskiefer/mls-extensions
franziskuskiefer/mls-implementations
Coordination of implementation and interop specific details
franziskuskiefer/mls-protocol
MLS protocol
franziskuskiefer/mlspp
Implementation of Messaging Layer Security
franziskuskiefer/oscw-2024
franziskuskiefer/range-types
Range types for Rust
franziskuskiefer/RCIG_Coordination_Repo
A Coordination repo for all things Rust Cryptography oriented
franziskuskiefer/rustls
A modern TLS library in Rust
franziskuskiefer/test-docker-actions
franziskuskiefer/traits
Collection of cryptography-related traits
franziskuskiefer/website
Source Code for the Ockam.io Website