Game_Based_Crypto

swMATH38015MaRDI QIDQ53715FDOQ53715

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: Game_Based_Crypto