DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
☆19Jun 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
Sorting:
- For Jar artifacts☆20Nov 8, 2025Updated 3 months ago
- Shows a minimal usage of modern paket and fake☆15Jul 22, 2020Updated 5 years ago
- A high level DSP library in the OCaml language☆27Sep 17, 2025Updated 5 months ago
- ☆22Feb 13, 2026Updated 3 weeks ago
- Benchmarking framework for OCaml☆25Jan 1, 2024Updated 2 years ago
- OpenID Shared Signals and Events (SSE) / Continuous Access Evaluation Protocol (CAEP) / Risk Incident Sharing and Coordination (RISC) JSO…☆14Jun 7, 2024Updated last year
- XLA (Accelerated Linear Algebra) bindings for OCaml☆35Jun 1, 2025Updated 9 months ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆31Updated this week
- A Java library for the "Selective Disclosure for JWTs (SD-JWT)" specification.☆33Oct 31, 2025Updated 4 months ago
- The SPID/CIE OIDC Federation SDK, written in Python☆37Feb 2, 2026Updated last month
- Reliable Keycloak user migration at scale. Features include bounded concurrency, durable retries, and zero data loss.☆31Jan 13, 2026Updated last month
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- Telegram Widget Authenticator For Keycloak☆13Dec 20, 2025Updated 2 months ago
- CS6868: Concurrent Programming☆32Feb 26, 2026Updated last week
- Generate SVG path data declarative way. Made by http://www.owlsdepartment.com/☆10May 7, 2023Updated 2 years ago
- ☆11Aug 20, 2018Updated 7 years ago
- Verifying the SCION architecture using Gobra☆11Feb 28, 2026Updated last week
- A Powershell wrapper around the Voiceemeter Remote API☆14Feb 19, 2026Updated 2 weeks ago
- Server and development environment provisioning data and configurations☆10Jun 25, 2018Updated 7 years ago
- Example full stack rust project using Sycamore for wasm and actix for backend, implementing BFF and OIDC for authentication.☆11Feb 4, 2023Updated 3 years ago
- Clone of google-sparsehash☆17Sep 3, 2011Updated 14 years ago
- Another reverse proxy that provides authentication with OpenID Connect☆10Jul 10, 2023Updated 2 years ago
- The repository contains tooling to setup the container based stack.☆15Updated this week
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 4 months ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- A passkeys demo using Spring Boot and Auth0 as IdP☆14Jan 29, 2024Updated 2 years ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- A collection of Apple-related CTF writeups☆15Jan 17, 2022Updated 4 years ago
- Spurring & cultivating Bitcoin development☆11May 22, 2023Updated 2 years ago
- ☆11Apr 16, 2025Updated 10 months ago
- Rust FFI for creating Apache httpd modules.☆12Apr 14, 2024Updated last year
- Deprecated demo of Instana's tracing for Envoy Proxy (1.15..1.29) based on OpenTracing☆10Jul 24, 2025Updated 7 months ago
- A Java Swing based game engine☆11Feb 12, 2022Updated 4 years ago
- Tests jboss keycloak dockerfiles for HA with Kubernetes☆11Aug 10, 2017Updated 8 years ago
- Converts a 3DS program's EXEFS to an (IDA-loadable) ELF☆12Apr 13, 2017Updated 8 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- A generator and a framework for injecting configurations via CDI☆11Jun 14, 2023Updated 2 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- 🐔 Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin☆11Aug 27, 2023Updated 2 years ago