Computer Security ESORICS 2022: 27th European Symposium on Research in Computer
67,13 €
Computer Security ESORICS 2022. Short Title Computer Security - ESORICS 2022. Formal Analysis. - A Formal Analysis of the FIDO2 Protocols. - Effcient Proofs of Knowledge for Threshold Relations. - A tale of two models: formal verification of KEMTLS via Tamarin.
Jetzt bei Ebay: