| Discovering ePassport Vulnerabilities using Bisimilarity |
| English |
| 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)] |
| 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 |