Pinned Repositories
evercrypt-rust
Rust bindings for HACL & Evercrypt
formats
Cryptography-related format encoders/decoders: PKCS, PKIX
FStar
An ML-like language aimed at program verification
hpke-rs
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
ietf-treewrap-protocol
kkohbrok.github.io
Personal Webpage
maelstrom
MLS (Messaging Layer Security) implementation in Rust
mimi-arch
An architecture for More Instant Messaging Interoperability
mimi-metadata-minimalization
A proposal to run MIMI with minimal Metadata
mls-implementation-considerations
Considerations and guidance for implementers of the MLS protocol.
kkohbrok's Repositories
kkohbrok/mls-implementation-considerations
Considerations and guidance for implementers of the MLS protocol.
kkohbrok/evercrypt-rust
Rust bindings for HACL & Evercrypt
kkohbrok/formats
Cryptography-related format encoders/decoders: PKCS, PKIX
kkohbrok/FStar
An ML-like language aimed at program verification
kkohbrok/hpke-rs
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
kkohbrok/ietf-treewrap-protocol
kkohbrok/kkohbrok.github.io
Personal Webpage
kkohbrok/maelstrom
MLS (Messaging Layer Security) implementation in Rust
kkohbrok/mimi-arch
An architecture for More Instant Messaging Interoperability
kkohbrok/mimi-metadata-minimalization
A proposal to run MIMI with minimal Metadata
kkohbrok/mimi-portability
kkohbrok/mimi-transport
kkohbrok/mls-architecture
MLS architecture
kkohbrok/mls-extensions
kkohbrok/mls-implementations
Coordination of implementation and interop specific details
kkohbrok/mls-protocol
MLS protocol
kkohbrok/mlspp
Implementation of Messaging Layer Security
kkohbrok/mls-associated-parties
kkohbrok/mls-replace
kkohbrok/mls-virtual-clients
kkohbrok/opaque-ke
An implementation of the OPAQUE password-authenticated key exchange protocol
kkohbrok/privacypass
Privacy Pass implementation in Rust
kkohbrok/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
kkohbrok/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
kkohbrok/tls-codec
A TLS codec implementation in Rust