Zobrazeno 1 - 10
of 3 709
pro vyhledávání: '"Jeanteur"'
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
