Verifying MQV-Based Protocols Using ProVerif

Ernest Yong Yi Yap^*, Ji Jian Chin, Alwyn Goh

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Lecture Notes in Electrical Engineering
Publisher	Springer
Pages	55-63
Number of pages	0
Volume	0
ISBN (Print)	9789811641176
DOIs	https://doi.org/10.1007/978-981-16-4118-3_6
Publication status	Published - 2021

Access to Document

@inbook{cae15a102e1b439ba6ed4ea0e5ef7868,

title = "Verifying MQV-Based Protocols Using ProVerif",

author = "Yap, \{Ernest Yong Yi\} and Chin, \{Ji Jian\} and Alwyn Goh",

year = "2021",

doi = "10.1007/978-981-16-4118-3\_6",

language = "English",

isbn = "9789811641176",

volume = "0",

pages = "55--63",

booktitle = "Lecture Notes in Electrical Engineering",

publisher = "Springer",

address = "Germany",

}