Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. - Ihor Filimonov; Ross Horne; Sjouke Mauw; Zach Smith (ESORICS (1), 2019)