Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. Bringhenti, D., Sisto, R., Valenza, F., & Yusupov, J. In Handbook of Formal Analysis and Verification in Cryptography. CRC Press, in press.
bibtex   
@incollection{2023HFA,
  author    = {Daniele Bringhenti and Riccardo Sisto and 
				Fulvio Valenza and Jalolliddin Yusupov},
  title     = {Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols},
  booktitle = {Handbook of Formal Analysis and Verification in Cryptography},
  publisher = {CRC Press},
  year      = {in press},
}

Downloads: 0