This is repo I used for dining cryptographers protocol for Cryptography course on my CS studies.
-
Updated
Apr 4, 2019 - Go
#
dining-cryptographers
Here are 5 public repositories matching this topic...
🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
-
Updated
Feb 12, 2018 - C++
A toy implementation of Chaum's Dining Cryptographers problem to illustrate programmatic functionality over a reliable broadcast network, along with a brief explanation.
education security cryptography privacy math mathematics private anonymity anonymous anon cryptography-algorithms secure-computation anonymous-messaging dining-cryptographers
-
Updated
Jul 25, 2024 - C++
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.
-
Updated
Aug 22, 2018
Unconditional sender and recipient untraceability
-
Updated
Nov 27, 2022 - Python
Improve this page
Add a description, image, and links to the dining-cryptographers topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dining-cryptographers topic, visit your repo's landing page and select "manage topics."