GitHub repository: mi-ki/cardCryptoVerification
Primary language: C
Created: 2019-09-11T12:02:00Z
Description: 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.