{"_id":"4mpfLk4MuwGt6RTu5","bibbaseid":"bringhenti-sisto-valenza-yusupov-introductiontoformalmethodsfortheanalysisanddesignofcryptographicprotocols-inpress","author_short":["Bringhenti, D.","Sisto, R.","Valenza, F.","Yusupov, J."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Daniele"],"propositions":[],"lastnames":["Bringhenti"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["Sisto"],"suffixes":[]},{"firstnames":["Fulvio"],"propositions":[],"lastnames":["Valenza"],"suffixes":[]},{"firstnames":["Jalolliddin"],"propositions":[],"lastnames":["Yusupov"],"suffixes":[]}],"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","bibtex":"@incollection{2023HFA,\r\n author = {Daniele Bringhenti and Riccardo Sisto and \r\n\t\t\t\tFulvio Valenza and Jalolliddin Yusupov},\r\n title = {Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols},\r\n booktitle = {Handbook of Formal Analysis and Verification in Cryptography},\r\n publisher = {CRC Press},\r\n year = {in press},\r\n}\r\n\r\n\r\n","author_short":["Bringhenti, D.","Sisto, R.","Valenza, F.","Yusupov, J."],"key":"2023HFA","id":"2023HFA","bibbaseid":"bringhenti-sisto-valenza-yusupov-introductiontoformalmethodsfortheanalysisanddesignofcryptographicprotocols-inpress","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://bibbase.org/f/ewKR9Cuk8X3sJkqsy/bibtek.bib","dataSources":["hZL94qE5m3pMWuJwA","8EGSmY4udryikjQyX","XZnEt8kdXurbtCWoc"],"keywords":[],"search_terms":["introduction","formal","methods","analysis","design","cryptographic","protocols","bringhenti","sisto","valenza","yusupov"],"title":"Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols","year":null}