{"_id":"bumcjpjk7z7tqnd5e","bibbaseid":"bringhenti-sisto-valenza-yusupov-introductiontoformalmethodsfortheanalysisanddesignofcryptographicprotocols-2023","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","pages":"57–104","year":"2023","keywords":"Formal Verification","bibtex":"@incollection{2023HFA,\n author = {Daniele Bringhenti and Riccardo Sisto and \n\t\t\t\tFulvio Valenza and Jalolliddin Yusupov},\n title = {Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols},\n booktitle = {Handbook of Formal Analysis and Verification in Cryptography},\n publisher = {CRC Press},\n pages = {57--104},\n year = {2023},\n keywords = {Formal Verification}\n}\n\n","author_short":["Bringhenti, D.","Sisto, R.","Valenza, F.","Yusupov, J."],"key":"2023HFA","id":"2023HFA","bibbaseid":"bringhenti-sisto-valenza-yusupov-introductiontoformalmethodsfortheanalysisanddesignofcryptographicprotocols-2023","role":"author","urls":{},"keyword":["Formal Verification"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://danielebringhenti.github.io/resources/bibtek.bib","dataSources":["hZL94qE5m3pMWuJwA","oHcDH9GXBbkp4t9gm"],"keywords":["formal verification"],"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":2023}