Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with dining-cryptographers

A curated list of projects in awesome lists tagged with dining-cryptographers .

https://github.com/m4lvin/dining-benchmark

🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.

benchmark dining-cryptographers haskell model-checking verification

Last synced: 01 Dec 2024

https://github.com/jkcso/dc-modelling

An exhaustive symbolic model checking analysis for the Dining Cryptographers' Problem which inspired DC-Networks offering anonymity, unlinkability and unobservability based on synchronous finite-state and infinite-state systems.

cryptography dc-nets dining-cryptographers

Last synced: 20 Nov 2024