Skip to content
View dstebila's full-sized avatar

Highlights

  • Pro

Organizations

@IACR @open-quantum-safe @PQClean @ProofFrog

Block or report dstebila

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. open-quantum-safe/liboqs open-quantum-safe/liboqs Public

    C library for prototyping and experimenting with quantum-resistant cryptography

    C 3k 759

  2. ProofFrog/ProofFrog ProofFrog/ProofFrog Public

    A tool for verifying transitions in cryptographic game-hopping proofs

    Python 24 5

  3. TeXFrog/TeXFrog TeXFrog/TeXFrog Public

    [work in progress] Software for helping cryptographers manage game-hopping proofs in LaTeX

    Python 10 1

  4. microsoft/PQCrypto-LWEKE microsoft/PQCrypto-LWEKE Public

    FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservative yet practical post-quantum constructions whose security d…

    C 165 51