{"id":"https://openalex.org/W3005617228","doi":"https://doi.org/10.23638/lmcs-17(2:24)2021","title":"Discovering ePassport Vulnerabilities using Bisimilarity","display_name":"Discovering ePassport Vulnerabilities using Bisimilarity","publication_year":2021,"publication_date":"2021-06-02","ids":{"openalex":"https://openalex.org/W3005617228","doi":"https://doi.org/10.23638/lmcs-17(2:24)2021","mag":"3005617228"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-17(2:24)2021","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-17(2:24)2021","pdf_url":"https://lmcs.episciences.org/7537/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/7537/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087967629","display_name":"Ross Horne","orcid":"https://orcid.org/0000-0003-0162-1901"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4210161935","display_name":"Arbed (Luxembourg)","ror":"https://ror.org/03wgsss62","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210161935","https://openalex.org/I50754188"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Ross Horne","raw_affiliation_strings":["Department of Computer Science , University of Luxembourg , Esch-sur-Alzette , Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , University of Luxembourg , Esch-sur-Alzette , Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4210161935"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024602195","display_name":"Sjouke Mauw","orcid":"https://orcid.org/0000-0002-2818-4433"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sjouke Mauw","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1414,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52036803,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"Volume 17, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7392584681510925},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6813697218894958},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6320160627365112},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5393734574317932},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5315777063369751},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4627084732055664},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4506882429122925},{"id":"https://openalex.org/keywords/pace","display_name":"Pace","score":0.4406808018684387},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.43993648886680603},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3591533899307251},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1439947783946991},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.0646573007106781}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7392584681510925},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6813697218894958},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6320160627365112},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5393734574317932},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5315777063369751},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4627084732055664},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4506882429122925},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.4406808018684387},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.43993648886680603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3591533899307251},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1439947783946991},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0646573007106781},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23638/lmcs-17(2:24)2021","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-17(2:24)2021","pdf_url":"https://lmcs.episciences.org/7537/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2002.07309","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2002.07309","pdf_url":"https://arxiv.org/pdf/2002.07309","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:strathprints.strath.ac.uk:87413","is_oa":true,"landing_page_url":"https://strathprints.strath.ac.uk/view/author/1501631.html>","pdf_url":"https://strathprints.strath.ac.uk/87413/1/Horne-Mauw-LMCS-2021-Discovering-ePassport-vulnerabilities-using-bisimilarity.pdf","source":{"id":"https://openalex.org/S4306402226","display_name":"Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I181647926","host_organization_name":"University of Strathclyde","host_organization_lineage":["https://openalex.org/I181647926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:orbilu.uni.lu:10993/50044","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/50044","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"doi:10.48550/arxiv.2002.07309","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2002.07309","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.23638/lmcs-17(2:24)2021","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-17(2:24)2021","pdf_url":"https://lmcs.episciences.org/7537/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3005617228.pdf","grobid_xml":"https://content.openalex.org/works/W3005617228.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1489575369","https://openalex.org/W1530255708","https://openalex.org/W1568775940","https://openalex.org/W1571378841","https://openalex.org/W1603878273","https://openalex.org/W1612401216","https://openalex.org/W1622460569","https://openalex.org/W1699512023","https://openalex.org/W1994676271","https://openalex.org/W2002614013","https://openalex.org/W2042609207","https://openalex.org/W2095677460","https://openalex.org/W2103148887","https://openalex.org/W2105399249","https://openalex.org/W2106102830","https://openalex.org/W2133863960","https://openalex.org/W2135324040","https://openalex.org/W2138549619","https://openalex.org/W2145415641","https://openalex.org/W2149178443","https://openalex.org/W2153717963","https://openalex.org/W2160964355","https://openalex.org/W2163123880","https://openalex.org/W2167019232","https://openalex.org/W2167816957","https://openalex.org/W2253830281","https://openalex.org/W2508881716","https://openalex.org/W2522035104","https://openalex.org/W2528654130","https://openalex.org/W2787222284","https://openalex.org/W2798939849","https://openalex.org/W2913663755","https://openalex.org/W2918561041","https://openalex.org/W2955084936","https://openalex.org/W2963230280","https://openalex.org/W2972774997","https://openalex.org/W3003059772","https://openalex.org/W3081676980","https://openalex.org/W3103459153","https://openalex.org/W3105358497","https://openalex.org/W3165841879","https://openalex.org/W3212798571"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2039540146"],"abstract_inverted_index":{"We":[0],"uncover":[1],"privacy":[2],"vulnerabilities":[3],"in":[4,75],"the":[5,48,52,65,71,76,96,138],"ICAO":[6,54,78],"9303":[7,55,79],"standard":[8,56],"implemented":[9],"by":[10,16],"ePassports":[11],"worldwide.":[12],"These":[13],"vulnerabilities,":[14,45],"confirmed":[15],"ICAO,":[17],"enable":[18],"an":[19,141],"ePassport":[20,57],"holder":[21],"who":[22],"recently":[23],"passed":[24],"through":[25],"a":[26,91,100,109,126],"checkpoint":[27],"to":[28,42,83,123],"be":[29],"reidentified":[30],"without":[31],"opening":[32],"their":[33],"ePassport.":[34],"This":[35],"paper":[36],"explains":[37],"how":[38],"bisimilarity":[39,86],"was":[40],"used":[41],"discover":[43],"these":[44],"which":[46,68],"exploit":[47],"BAC":[49,74],"protocol":[50,59],"-":[51,60],"original":[53],"authentication":[58],"and":[61,108,117],"remains":[62],"valid":[63],"for":[64,95,115,125,129],"PACE":[66],"protocol,":[67],"improves":[69],"on":[70],"security":[72],"of":[73,93,103,140],"latest":[77],"standards.":[80],"In":[81],"order":[82],"tackle":[84],"such":[85,131],"problems,":[87],"we":[88],"develop":[89],"here":[90],"chain":[92],"methods":[94],"applied":[97],"$\\pi$-calculus":[98],"including":[99],"symbolic":[101],"under-approximation":[102],"bisimilarity,":[104,107],"called":[105,112],"open":[106],"modal":[110],"logic,":[111],"classical":[113],"FM,":[114],"describing":[116],"certifying":[118],"attacks.":[119],"Evidence":[120],"is":[121],"provided":[122],"argue":[124],"new":[127],"scheme":[128],"specifying":[130],"unlinkability":[132],"problems":[133],"that":[134],"more":[135],"accurately":[136],"reflects":[137],"capabilities":[139],"attacker.":[142]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}