Skip to content
@REPROSEC

REPROSEC

Rigorous/Reproducible Engineering for PROvable (protocol) SECurity

Popular repositories Loading

  1. dolev-yao-star dolev-yao-star Public

    DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

    OCaml 13 3

  2. dolev-yao-star-extrinsic dolev-yao-star-extrinsic Public

    DY* with extrinsic proofs

    F* 10

  3. acme-case-study acme-case-study Public

    Supplementary Material to the CCS '21 paper "An In-Depth Symbolic Security Analysis of the ACME Standard"

    F* 1

  4. reprosec.github.io reprosec.github.io Public

    TeX

Repositories

Showing 4 of 4 repositories
  • dolev-yao-star-extrinsic Public

    DY* with extrinsic proofs

    REPROSEC/dolev-yao-star-extrinsic’s past year of commit activity
    F* 10 MPL-2.0 0 14 7 Updated Oct 30, 2024
  • reprosec.github.io Public
    REPROSEC/reprosec.github.io’s past year of commit activity
    TeX 0 0 0 0 Updated Sep 20, 2024
  • dolev-yao-star Public

    DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

    REPROSEC/dolev-yao-star’s past year of commit activity
    OCaml 13 3 0 1 Updated Jun 19, 2024
  • acme-case-study Public

    Supplementary Material to the CCS '21 paper "An In-Depth Symbolic Security Analysis of the ACME Standard"

    REPROSEC/acme-case-study’s past year of commit activity
    F* 1 0 0 0 Updated Aug 18, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…