Game_Based_Crypto

swMATH38015MaRDI QIDQ53715FDOQ53715

Author name not available (Why is that?)

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