Franziskus Kiefer (franziskuskiefer)

franziskuskiefer

Geek Repo

Company:@Cryspen

Location:Berlin, Europe

Home Page:https://www.franziskuskiefer.de

Twitter:@_franziskus_

Github PK Tool:Github PK Tool


Organizations
berlin-crypto
cryspen
FStarLang
hacl-star
hacspec

Franziskus Kiefer's repositories

app-keys-gnome-shell-extension

Unity-like shortcuts for gnome dock applications

Language:JavaScriptStargazers:52Issues:0Issues:0

evercrypt-rust

Rust bindings for HACL & Evercrypt

Language:RustStargazers:23Issues:0Issues:0

hpke-rs

Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)

cbor-rust

CBOR library written in Rust

Language:RustLicense:MPL-2.0Stargazers:2Issues:0Issues:0

security-monitoring

A set of tools to monitor security of websites and API endpoints

Language:PythonStargazers:1Issues:0Issues:0

algorithm-identifiers-rs

A registry of crypto types for Rust

Language:RustStargazers:0Issues:0Issues:0

contributors

Contributors to the Ockam Open Source projects

License:Apache-2.0Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

draft-irtf-cfrg-hpke

Hybrid Public Key Encryption

License:NOASSERTIONStargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

formats

Cryptography-related format encoders/decoders: PKCS, PKIX

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

hacl-star

HACL*, a formally verified cryptographic library written in F*

Language:F*License:Apache-2.0Stargazers:0Issues:0Issues:0

hugo-theme-stack

Card-style Hugo theme designed for bloggers

License:GPL-3.0Stargazers:0Issues:0Issues:0

imap-codec

Parsing and construction of IMAP messages

License:Apache-2.0Stargazers:0Issues:0Issues:0

kerkour.com

(Ab)using technology for fun & profit. https://kerkour.com

License:Apache-2.0Stargazers:0Issues:0Issues:0

key-store-rs

A key store in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

maelstrom

MLS (Messaging Layer Security) implementation in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

mls-implementations

Coordination of implementation and interop specific details

Stargazers:0Issues:0Issues:0

mls-protocol

MLS protocol

License:NOASSERTIONStargazers:0Issues:0Issues:0

mlspp

Implementation of Messaging Layer Security

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

range-types

Range types for Rust

Language:RustStargazers:0Issues:0Issues:0

RCIG_Coordination_Repo

A Coordination repo for all things Rust Cryptography oriented

Stargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

rustls

A modern TLS library in Rust

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

traits

Collection of cryptography-related traits

Stargazers:0Issues:0Issues:0

website

Source Code for the Ockam.io Website

License:Apache-2.0Stargazers:0Issues:0Issues:0