Skip to content

@REPROSEC REPROSEC

Change the repository type filter

All

    Repositories list

    7 repositories

    • dolev-yao-star-extrinsic

      Public
      DY* with extrinsic proofs
      F*
      •
      Mozilla Public License 2.0
      •1•14•13•7•Updated May 1, 2026May 1, 2026

    • dolev-yao-star-communication-layer-examples

      Public
      Examples that show how the communication layer in the dolev-yao-star-extrinsic repository can be used.
      F*
      •0•0•0•0•Updated Mar 28, 2026Mar 28, 2026

    • dolev-yao-star-tutorial-code

      Public
      F*
      •2•0•0•1•Updated Jun 13, 2025Jun 13, 2025

    • acme-case-study

      Public
      Supplementary Material to the CCS '21 paper "An In-Depth Symbolic Security Analysis of the ACME Standard"
      F*
      •0•2•0•0•Updated May 9, 2025May 9, 2025

    • dolev-yao-star-documentation

      Public
      TeX
      •1•0•0•0•Updated Mar 20, 2025Mar 20, 2025

    • reprosec.github.io

      Public
      TeX
      •0•0•0•0•Updated Sep 20, 2024Sep 20, 2024

    • dolev-yao-star

      Public
      DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
      OCaml
      •4•20•0•2•Updated Jun 19, 2024Jun 19, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.