Repositories list

• dolev-yao-star-extrinsic

  Public
  DY* with extrinsic proofs

  F*

  •

  Mozilla Public License 2.0

  •1•13•13•6•Updated Mar 30, 2026Mar 30, 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•19•0•2•Updated Jun 19, 2024Jun 19, 2024