Game_Based_Crypto

MaRDI QIDQ53715swMATHFDO

Official website https://www.isa-afp.org/entries/Game_Based_Crypto.html

Cited in

(3)

• CryptHOL: game-based proofs in higher-order logic
• MFMC_Countable
• Probabilistic_While

This page was built for software: Game_Based_Crypto