Cryptographic Protocol Efficiency via SAT solving

Project Details

Short titleCryptoProSAT/Brzuska
AcronymCryptoProSAT
StatusActive
Effective start/end date01/01/202031/12/2022