Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jeanteur, Simon"'
Cryptographic protocols are hard to design and prove correct, as witnessed by the ever-growing list of attacks even on protocol standards. Symbolic models of cryptography enable automated formal security proofs of such protocols against an idealized
Externí odkaz:
http://arxiv.org/abs/2305.12173
