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: 24 Mar 2025
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: 14 Mar 2025
https://github.com/fionn/dining-cryptographers
Unconditional sender and recipient untraceability
cryptography dc-nets dining-cryptographers multi-party-computation
Last synced: 02 Mar 2025
