Skip to content
View franziskuskiefer's full-sized avatar
:octocat:
🗝️
:octocat:
🗝️
114 followers · 1 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@FStarLang @hacspec @berlin-crypto @hacl-star @cryspen

Block or report franziskuskiefer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
franziskuskiefer/README.md

Hi there 👋

  • 🔭 I’m currently working on
  • 🌱 I’m learning to mediate 🧘🏻
  • 👯 I’m looking to collaborate on cryptography analysis, design, and implementation

Pinned Loading

  1. cryspen/hpke-rs cryspen/hpke-rs Public

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

    Rust 33 16

  2. evercrypt-rust evercrypt-rust Public

    Rust bindings for HACL & Evercrypt

    Rust 28 7

  3. hacspec/hacspec hacspec/hacspec Public archive

    Please see https://github.com/hacspec/hax

    Coq 243 42

  4. openmls/openmls openmls/openmls Public

    Rust implementation of the Messaging Layer Security (MLS) protocol

    Rust 634 77

  5. cryspen/hacl-packages cryspen/hacl-packages Public

    The Cryspen HACL Distribution

    C 16 18