REPROSEC/dolev-yao-star external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

REPROSEC/dolev-yao-star

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/REPROSEC/dolev-yao-star)

Close

REPROSEC / dolev-yao-starView on GitHubMore

• External links
• Readme badge

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

☆20Jun 19, 2024Updated last year

Alternatives and similar repositories for dolev-yao-star

Users that are interested in dolev-yao-star are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• runtimeverification / casper-proofs

  View on GitHub
  Coq definitions and lemmas for verification of Casper
  ☆19Aug 15, 2019Updated 6 years ago
• fplaunchpad / verified_ocaml_gc

  View on GitHub
  For Jar artifacts
  ☆20Nov 8, 2025Updated 6 months ago
• authlete / sd-jwt

  View on GitHub
  A Java library for the "Selective Disclosure for JWTs (SD-JWT)" specification.
  ☆34May 2, 2026Updated 3 weeks ago
• eu-digital-identity-wallet / eudi-lib-jvm-sdjwt-kt

  View on GitHub
  A library for issuing and verifying SD-JWT
  ☆19Updated this week
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated last year
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated last year
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Apr 14, 2026Updated last month
• tchajed / protocol-verification-fa2023

  View on GitHub
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆12Nov 30, 2023Updated 2 years ago
• viperproject / VerifiedSCION

  View on GitHub
  Verifying the SCION architecture using Gobra
  ☆12May 5, 2026Updated 3 weeks ago
• probcomp / ADEV.jl

  View on GitHub
  Experimental port of ADEV to Julia
  ☆11Nov 12, 2023Updated 2 years ago
• uds-psl / coq-synthetic-computability

  View on GitHub
  ☆18Feb 16, 2026Updated 3 months ago
• tchajed / sys-verif-fa24

  View on GitHub
  Course website for Systems Verification Fall 2024
  ☆14Jul 10, 2025Updated 10 months ago
• sophieschmieg / exploits

  View on GitHub
  ☆15Aug 11, 2020Updated 5 years ago
• riot-ml / scarab

  View on GitHub
  Benchmarking framework for OCaml
  ☆25Jan 1, 2024Updated 2 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• fplaunchpad / cs6868_s26

  View on GitHub
  CS6868: Concurrent Programming
  ☆84May 18, 2026Updated last week
• verse-lab / ego

  View on GitHub
  EGraphs in OCaml
  ☆81Jan 20, 2024Updated 2 years ago
• womeier / certicoqwasm

  View on GitHub
  ☆12Mar 11, 2026Updated 2 months ago
• nokia / web-assembly-self-certifying-compilation-framework

  View on GitHub
  ☆13Oct 22, 2020Updated 5 years ago
• GLaDOS-Michigan / verification-class

  View on GitHub
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆12Feb 7, 2025Updated last year
• CertiGraph / CertiGraph

  View on GitHub
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆19May 3, 2026Updated 3 weeks ago
• edqx / dishwasher

  View on GitHub
  A non-spec-compliant, but probably pretty fast, XML parser for Zig.
  ☆20Dec 17, 2025Updated 5 months ago
• paigenorth / oplss

  View on GitHub
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Jul 11, 2023Updated 2 years ago
• dslab-epfl / tpot

  View on GitHub
  Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
  ☆25May 7, 2025Updated last year
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• formalsec / wasp

  View on GitHub
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆16Aug 28, 2024Updated last year
• MPLLang / parallel-ml-bench

  View on GitHub
  Parallel ML benchmark suite
  ☆21Dec 8, 2025Updated 5 months ago
• rocq-prover / docker-opam-action

  View on GitHub
  GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]
  ☆15Apr 30, 2026Updated 3 weeks ago
• cartermp / MinimalPaketAndFakeSample

  View on GitHub
  Shows a minimal usage of modern paket and fake
  ☆15Jul 22, 2020Updated 5 years ago
• UoS-SCCS / VirtualWebAuthn

  View on GitHub
  ☆15Aug 10, 2021Updated 4 years ago
• ocamllibs / pyast

  View on GitHub
  Python versioned abstract syntax trees and interface to the Python parser
  ☆13Oct 28, 2022Updated 3 years ago
• secure-foundations / mariposa

  View on GitHub
  ☆17Jan 31, 2026Updated 3 months ago
• webyrd / polyconf-2015

  View on GitHub
  Resources from the Polyconf 2015 talk & relational interpreters workshop
  ☆16Jul 5, 2015Updated 10 years ago
• reaperhulk / dsa-ctf

  View on GitHub
  A CTF game for recovering a DSA private key.
  ☆10Apr 21, 2020Updated 6 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• onyx-and-iris / voicemeeter-api-powershell

  View on GitHub
  A Powershell wrapper around the Voiceemeter Remote API
  ☆15Mar 15, 2026Updated 2 months ago
• matthias-brun / verified-nrkernel

  View on GitHub
  ☆22May 11, 2026Updated 2 weeks ago
• zshipko / ocaml-vec

  View on GitHub
  Example OCaml library written using Rust and ocaml-rs
  ☆17Mar 10, 2021Updated 5 years ago
• FStarLang / pulse

  View on GitHub
  The Pulse separation logic DSL for F*
  ☆35Apr 4, 2026Updated last month
• mitate-gengaku / VisualFlow

  View on GitHub
  A ReactFlow based application for visually designing and generating GitHub Actions workflow
  ☆26Feb 19, 2025Updated last year
• secure-foundations / vWasm

  View on GitHub
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆31Aug 30, 2022Updated 3 years ago
• nicowaisman / QLWorkshop

  View on GitHub
  QL Workshop
  ☆16Sep 30, 2019Updated 6 years ago