{"id":"https://openalex.org/W4400976373","doi":"https://doi.org/10.1145/3664476.3670454","title":"Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents","display_name":"Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents","publication_year":2024,"publication_date":"2024-07-25","ids":{"openalex":"https://openalex.org/W4400976373","doi":"https://doi.org/10.1145/3664476.3670454"},"language":"en","primary_location":{"id":"doi:10.1145/3664476.3670454","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3664476.3670454","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037409153","display_name":"Stefan Marksteiner","orcid":"https://orcid.org/0000-0001-8556-1541"},"institutions":[{"id":"https://openalex.org/I48071105","display_name":"Anstalt f\u00fcr Verbrennungskraftmaschinen List","ror":"https://ror.org/01bydex26","country_code":"AT","type":"company","lineage":["https://openalex.org/I48071105"]},{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["AT","SE"],"is_corresponding":true,"raw_author_name":"Stefan Marksteiner","raw_affiliation_strings":["AVL List Gmbh, Austria and M\u00e4lardalen University, Sweden"],"affiliations":[{"raw_affiliation_string":"AVL List Gmbh, Austria and M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I48071105","https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078919695","display_name":"Marjan Sirjani","orcid":"https://orcid.org/0000-0001-5478-0987"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Marjan Sirjani","raw_affiliation_strings":["M\u00e4lardalen University, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052013615","display_name":"Mikael Sj\u00f6din","orcid":"https://orcid.org/0000-0001-7586-0409"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mikael Sj\u00f6din","raw_affiliation_strings":["M\u00e4lardalen University, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5037409153"],"corresponding_institution_ids":["https://openalex.org/I48071105","https://openalex.org/I82509713"],"apc_list":null,"apc_paid":null,"fwci":0.3637,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64881677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9943000078201294,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7467581033706665},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.46846458315849304},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.41139906644821167},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3359290659427643},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.32600152492523193},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29068896174430847}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7467581033706665},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.46846458315849304},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.41139906644821167},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3359290659427643},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.32600152492523193},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29068896174430847}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3664476.3670454","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3664476.3670454","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W220935706","https://openalex.org/W315890393","https://openalex.org/W941301462","https://openalex.org/W1462150057","https://openalex.org/W1498432697","https://openalex.org/W1530255708","https://openalex.org/W1665970519","https://openalex.org/W1989445634","https://openalex.org/W2080028974","https://openalex.org/W2296086774","https://openalex.org/W2586388738","https://openalex.org/W2615918556","https://openalex.org/W2931334490","https://openalex.org/W4212776661","https://openalex.org/W4389095607"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Passports":[0],"are":[1,44],"part":[2,144],"of":[3,16,108,145],"critical":[4],"infrastructure":[5],"for":[6,85,169,183],"a":[7,82,105,143,151,185],"very":[8,96,166],"long":[9],"time.":[10],"They":[11],"also":[12,177],"have":[13],"been":[14],"pieces":[15],"automatically":[17],"processable":[18],"information":[19,40,56],"devices,":[20],"more":[21],"recently":[22],"through":[23],"the":[24,39,87,122,129,133,139,146,172],"ISO/IEC":[25],"14443":[26],"(Near-Field":[27],"Communication":[28],"\u2013":[29,68],"NFC)":[30],"protocol.":[31],"For":[32],"obvious":[33],"reasons,":[34],"it":[35],"is":[36,136,161,192],"crucial":[37],"that":[38],"stored":[41,59],"on":[42,60],"devices":[43],"sufficiently":[45],"protected.":[46],"The":[47,159],"International":[48],"Civil":[49],"Aviation":[50],"Organization":[51],"(ICAO)":[52],"specifies":[53],"exactly":[54],"what":[55],"should":[57],"be":[58,78,178,189],"electronic":[61],"passports":[62],"(also":[63],"Machine":[64],"Readable":[65],"Travel":[66],"Documents":[67],"MRTDs)":[69],"and":[70,72,95,111,115,149,191],"how":[71],"under":[73],"which":[74,184],"conditions":[75],"they":[76],"can":[77,176,188],"accessed.":[79],"We":[80],"propose":[81],"model-based":[83],"approach":[84,175],"checking":[86,118,153],"conformance":[88,123],"with":[89,124,180],"this":[90],"specification":[91,186],"in":[92,138],"an":[93,125,162],"automated":[94,163],"comprehensive":[97],"manner:":[98],"we":[99,141],"use":[100,112],"automata":[101],"learning":[102],"to":[103,120,155],"learn":[104],"full":[106,134],"model":[107,117,148],"passport":[109],"documents":[110],"trace":[113],"equivalence":[114],"primitive":[116,152],"techniques":[119],"check":[121],"automaton":[126,187],"modeled":[127,190],"after":[128],"ICAO":[130],"standard.":[131],"Since":[132],"behavior":[135],"underspecified":[137],"standard,":[140],"compare":[142],"learned":[147],"apply":[150],"ruleset":[154],"assure":[156],"proper":[157],"authentication.":[158],"result":[160],"(non-interactive),":[164],"yet":[165],"thorough":[167],"test":[168],"compliance,":[170],"despite":[171],"underspecification.":[173],"This":[174],"used":[179],"other":[181],"applications":[182],"therefore":[193],"broadly":[194],"applicable.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}