card-protocols

Here is 1 public repository matching this topic...

mi-ki / cardCryptoVerification

This program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest bounds on card-minimal protocols.

cryptography formal-verification bounded-model-checking cbmc automated-reasoning multiparty-computation card-protocols

Updated Oct 8, 2026
C

Add this topic to your repo

To associate your repository with the card-protocols topic, visit your repo's landing page and select "manage topics."

Learn more