Article (Scientific journals)
Discovering ePassport Vulnerabilities using Bisimilarity
HORNE, Ross James; MAUW, Sjouke
2021In Logical Methods in Computer Science, 17 (2), p. 24:1--24:52
Peer reviewed
 

Files


Full Text
Passport.pdf
Publisher postprint (689.93 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
HORNE, Ross James ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
MAUW, Sjouke ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
no
Language :
English
Title :
Discovering ePassport Vulnerabilities using Bisimilarity
Publication date :
2021
Journal title :
Logical Methods in Computer Science
Volume :
17
Issue :
2
Pages :
24:1--24:52
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 27 January 2022

Statistics


Number of views
92 (3 by Unilu)
Number of downloads
22 (0 by Unilu)

Scopus citations®
 
12
Scopus citations®
without self-citations
5
OpenAlex citations
 
1
WoS citations
 
12

Bibliography


Similar publications



Contact ORBilu