Reference : Discovering ePassport Vulnerabilities using Bisimilarity
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/50044
Discovering ePassport Vulnerabilities using Bisimilarity
English
Horne, Ross James mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
Mauw, Sjouke mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
2021
Logical Methods in Computer Science
17
2
24:1--24:52
Yes
http://hdl.handle.net/10993/50044
10.23638/LMCS-17(2:24)2021
https://lmcs.episciences.org/7537/pdf

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Passport.pdfPublisher postprint673.76 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.