Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov. Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 57-104, CRC Press, 2023. [doi]

This author has not been identified. Look up 'Daniele Bringhenti' in GoogleThis author has not been identified. Look up 'Riccardo Sisto' in GoogleThis author has not been identified. Look up 'Fulvio Valenza' in GoogleThis author has not been identified. Look up 'Jalolliddin Yusupov' in Google

runs on WebDSL