{"id":"https://openalex.org/W2108533001","doi":"https://doi.org/10.1109/lics.2003.1210066","title":"An NP decision procedure for protocol insecurity with XOR","display_name":"An NP decision procedure for protocol insecurity with XOR","publication_year":2003,"publication_date":"2003-12-22","ids":{"openalex":"https://openalex.org/W2108533001","doi":"https://doi.org/10.1109/lics.2003.1210066","mag":"2108533001"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2003.1210066","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2003.1210066","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"conference-paper","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/A5076479770","display_name":"Yannick Chevalier","orcid":"https://orcid.org/0000-0002-8617-4209"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Y. Chevalier","raw_affiliation_strings":["Loria-Inria-Universite Henri Poincare-Nancy I, Vandoeuvre-les-Nancy, France","LORIA, INRIA, Nancy, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Loria-Inria-Universite Henri Poincare-Nancy I, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372"]},{"raw_affiliation_string":"LORIA, INRIA, Nancy, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088011494","display_name":"Ralf K\u00fcsters","orcid":"https://orcid.org/0000-0002-9071-9312"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Kusters","raw_affiliation_strings":["Department of Computer Science, University of Stanford, Stanford, CA, USA","[Department of Computer Science, University of Stanford, Stanford, CA, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"[Department of Computer Science, University of Stanford, Stanford, CA, USA]","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110258641","display_name":"M. Rusinowitch","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Rusinowitch","raw_affiliation_strings":["Loria-Inria-Universite Henri Poincare-Nancy I, Vandoeuvre-les-Nancy, France","LORIA-INRIA-Universit\u00e9 Henri Poincar\u00e9, 54506 Vandoeuvre-les-Nancy, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Loria-Inria-Universite Henri Poincare-Nancy I, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372"]},{"raw_affiliation_string":"LORIA-INRIA-Universit\u00e9 Henri Poincar\u00e9, 54506 Vandoeuvre-les-Nancy, France#TAB#","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084531640","display_name":"Mathieu Turuani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Turuani","raw_affiliation_strings":["Loria-Inria-Universite Henri Poincare-Nancy I, Vandoeuvre-les-Nancy, France","LORIA-INRIA-Universit\u00e9 Henri Poincar\u00e9, 54506 Vandoeuvre-les-Nancy, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Loria-Inria-Universite Henri Poincare-Nancy I, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372"]},{"raw_affiliation_string":"LORIA-INRIA-Universit\u00e9 Henri Poincar\u00e9, 54506 Vandoeuvre-les-Nancy, France#TAB#","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.1422,"has_fulltext":false,"cited_by_count":136,"citation_normalized_percentile":{"value":0.98386724,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"261","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"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.9998000264167786,"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.9958999752998352,"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/T10237","display_name":"Cryptography and Data Security","score":0.9904999732971191,"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.6799472570419312},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.6235345005989075},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.6189601421356201},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.612518846988678},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6117227077484131},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5988628268241882},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5903975367546082},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.5666617155075073},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5299310088157654},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5227218270301819},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.49723580479621887},{"id":"https://openalex.org/keywords/forward-chaining","display_name":"Forward chaining","score":0.4970379173755646},{"id":"https://openalex.org/keywords/bitwise-operation","display_name":"Bitwise operation","score":0.47505685687065125},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.45133477449417114},{"id":"https://openalex.org/keywords/block-cipher","display_name":"Block cipher","score":0.419141948223114},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.28580665588378906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13112160563468933},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.09177535772323608},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08243972063064575},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07486972212791443},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.07441091537475586}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6799472570419312},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.6235345005989075},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.6189601421356201},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.612518846988678},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6117227077484131},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5988628268241882},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5903975367546082},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.5666617155075073},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5299310088157654},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5227218270301819},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.49723580479621887},{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.4970379173755646},{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.47505685687065125},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.45133477449417114},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.419141948223114},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.28580665588378906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13112160563468933},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.09177535772323608},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08243972063064575},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07486972212791443},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.07441091537475586},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"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/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics.2003.1210066","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2003.1210066","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.8299999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1496412704","https://openalex.org/W1502457089","https://openalex.org/W1509743338","https://openalex.org/W1521664307","https://openalex.org/W1542190420","https://openalex.org/W1569881051","https://openalex.org/W1579090196","https://openalex.org/W1585860117","https://openalex.org/W1600748341","https://openalex.org/W1619409532","https://openalex.org/W1733903134","https://openalex.org/W1779054477","https://openalex.org/W1841879996","https://openalex.org/W1944323241","https://openalex.org/W1995759750","https://openalex.org/W2029693536","https://openalex.org/W2039875296","https://openalex.org/W2049224403","https://openalex.org/W2078671172","https://openalex.org/W2108533001","https://openalex.org/W2114104031","https://openalex.org/W2126338744","https://openalex.org/W2130123502","https://openalex.org/W2134587548","https://openalex.org/W2146973388","https://openalex.org/W2153662813","https://openalex.org/W2153921791","https://openalex.org/W2155032609","https://openalex.org/W2169908972","https://openalex.org/W2176412652","https://openalex.org/W6630442404","https://openalex.org/W6636396586","https://openalex.org/W6662412777"],"related_works":["https://openalex.org/W3159334695","https://openalex.org/W2621131456","https://openalex.org/W3027955895","https://openalex.org/W2886511220","https://openalex.org/W4391157881","https://openalex.org/W4238340239","https://openalex.org/W2613924724","https://openalex.org/W4296096530","https://openalex.org/W4321015609","https://openalex.org/W4319659930"],"abstract_inverted_index":{"We":[0,102],"provide":[1],"a":[2,19,89],"method":[3],"for":[4,51],"deciding":[5],"the":[6,14,57,60],"insecurity":[7,47],"of":[8,13,22,39,59,82,113],"cryptographic":[9,69],"protocols":[10,70],"in":[11,49,68,75,100],"presence":[12],"standard":[15],"Dolev-Yao":[16],"intruder":[17,53,96,109],"(with":[18],"finite":[20],"number":[21],"sessions)":[23],"extended":[24],"with":[25],"so-called":[26],"oracle":[27],"rules,":[28],"i.e.,":[29],"deduction":[30],"rules":[31],"that":[32,45,54,86,110],"satisfy":[33],"certain":[34,114],"conditions.":[35],"As":[36],"an":[37,52,95,108],"instance":[38],"this":[40],"general":[41],"framework,":[42],"we":[43],"ascertain":[44],"protocol":[46,77],"is":[48,65,85,99],"NP":[50],"can":[55,91],"exploit":[56],"properties":[58,112],"XOR":[61],"operator.":[62],"This":[63],"operator":[64],"frequently":[66],"used":[67],"but":[71],"cannot":[72],"be":[73,92],"handled":[74],"most":[76],"models.":[78],"An":[79],"immediate":[80],"consequence":[81],"our":[83,105],"proof":[84],"checking":[87],"whether":[88],"message":[90],"derived":[93],"by":[94],"(using":[97],"XOR)":[98],"P.":[101],"also":[103],"apply":[104],"framework":[106],"to":[107],"exploits":[111],"encryption":[115],"modes":[116],"such":[117],"as":[118],"cipher":[119],"block":[120],"chaining":[121],"(CBC).":[122]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}