{"id":"https://openalex.org/W4402425169","doi":"https://doi.org/10.1007/978-3-031-71162-6_2","title":"Getting Chip Card Payments Right","display_name":"Getting Chip Card Payments Right","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4402425169","doi":"https://doi.org/10.1007/978-3-031-71162-6_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71162-6_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025344654","display_name":"David Basin","orcid":"https://orcid.org/0000-0003-2952-939X"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"David Basin","raw_affiliation_strings":["Department of Computer Science, ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-2952-939X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107113318","display_name":"Xenia Hofmeier","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Xenia Hofmeier","raw_affiliation_strings":["Department of Computer Science, ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0009-0002-6909-8010","affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089250692","display_name":"Ralf Sasse","orcid":"https://orcid.org/0000-0002-5632-6099"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Ralf Sasse","raw_affiliation_strings":["Department of Computer Science, ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-5632-6099","affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108697064","display_name":"Jorge Toro-Pozo","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110905","display_name":"T1D Exchange","ror":"https://ror.org/016jvas21","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210110905"]},{"id":"https://openalex.org/I4210115349","display_name":"Ion Exchange (India)","ror":"https://ror.org/028x2z366","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210115349"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"Jorge Toro-Pozo","raw_affiliation_strings":["SIX Digital Exchange, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SIX Digital Exchange, Zurich, Switzerland","institution_ids":["https://openalex.org/I4210110905","https://openalex.org/I4210115349"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5025344654"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.117,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7459414,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9969000220298767,"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.9969000220298767,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9395999908447266,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13999","display_name":"Digital Rights Management and Security","score":0.9164000153541565,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8022236227989197},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.6265288591384888},{"id":"https://openalex.org/keywords/smart-card","display_name":"Smart card","score":0.6064469814300537},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.5331218838691711},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.33551478385925293},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.24532774090766907},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.24164560437202454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8022236227989197},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.6265288591384888},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.6064469814300537},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.5331218838691711},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.33551478385925293},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.24532774090766907},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.24164560437202454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-71162-6_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-71162-6_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402425169.pdf","grobid_xml":"https://content.openalex.org/works/W4402425169.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W2002789557","https://openalex.org/W2143190626","https://openalex.org/W2145415641","https://openalex.org/W2794691483","https://openalex.org/W3129371464","https://openalex.org/W4288057761","https://openalex.org/W4289038676","https://openalex.org/W6891412630"],"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/W2120234551","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Abstract":[0],"EMV":[1,52,104],"is":[2,12],"the":[3,21,96,101,103,132,149],"international":[4],"protocol":[5,136],"standard":[6],"for":[7,59,122],"smart":[8],"card":[9],"payments":[10],"and":[11,43,72,74,117,124,155],"used":[13],"in":[14,40,53,66,75,147],"billions":[15],"of":[16,51,100,151],"payment":[17,153],"cards":[18],"worldwide.":[19],"Despite":[20],"standard\u2019s":[22],"advertised":[23],"security,":[24],"various":[25,49],"issues":[26],"have":[27,47,141],"been":[28],"previously":[29],"uncovered,":[30],"deriving":[31],"from":[32],"logical":[33],"flaws":[34],"that":[35,134,156],"are":[36,158],"hard":[37],"to":[38,145,160],"spot":[39],"EMV\u2019s":[41],"lengthy":[42],"complex":[44],"specification.":[45],"We":[46,82],"formalized":[48],"models":[50],"Tamarin,":[54],"a":[55,113],"symbolic":[56],"model":[57,137],"checker":[58],"cryptographic":[60,135],"protocols.":[61],"Tamarin":[62,140],"was":[63],"extremely":[64],"effective":[65],"finding":[67],"critical":[68],"flaws,":[69],"both":[70],"known":[71],"new,":[73],"many":[76],"cases":[77],"exploitable":[78],"on":[79,84,112],"actual":[80],"cards.":[81],"report":[83],"these":[85],"past":[86],"problems":[87],"as":[88,90],"well":[89],"followup":[91],"work":[92,108,130],"where":[93],"we":[94],"verified":[95],"latest,":[97],"improved":[98],"version":[99],"protocol,":[102],"kernel":[105],"C8.":[106],"This":[107],"puts":[109],"C8\u2019s":[110],"correctness":[111],"firm,":[114],"formal":[115],"basis,":[116],"clarifies":[118],"which":[119,126],"guarantees":[120],"hold":[121],"C8":[123],"under":[125],"assumptions.":[127],"Overall":[128],"our":[129],"supports":[131],"thesis":[133],"checkers":[138],"like":[139],"an":[142],"essential":[143],"role":[144],"play":[146],"improving":[148],"security":[150],"real-world":[152],"protocols":[154],"they":[157],"up":[159],"this":[161],"challenge.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}