{"id":"https://openalex.org/W3048390074","doi":"https://doi.org/10.1145/3372297.3417229","title":"Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets","display_name":"Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets","publication_year":2020,"publication_date":"2020-10-30","ids":{"openalex":"https://openalex.org/W3048390074","doi":"https://doi.org/10.1145/3372297.3417229","mag":"3048390074"},"language":"en","primary_location":{"id":"doi:10.1145/3372297.3417229","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3372297.3417229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security","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/A5009302133","display_name":"Hubert Comon","orcid":null},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hubert Comon","raw_affiliation_strings":["LSV, CNRS & ENS Paris-Saclay & Inria & Universit\u00e9 Paris-Saclay, Saclay, France","Ecole Normale Sup\u00e9rieure  Paris-Saclay"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV, CNRS & ENS Paris-Saclay & Inria & Universit\u00e9 Paris-Saclay, Saclay, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954"]},{"raw_affiliation_string":"Ecole Normale Sup\u00e9rieure  Paris-Saclay","institution_ids":["https://openalex.org/I11559806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057561034","display_name":"Charlie Jacomme","orcid":"https://orcid.org/0009-0003-4465-3150"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Charlie Jacomme","raw_affiliation_strings":["LSV, CNRS & ENS Paris-Saclay & Inria & Universit\u00e9 Paris-Saclay, Saclay, France","Ecole Normale Sup\u00e9rieure  Paris-Saclay","Proof techniques for security protocols"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV, CNRS & ENS Paris-Saclay & Inria & Universit\u00e9 Paris-Saclay, Saclay, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954"]},{"raw_affiliation_string":"Ecole Normale Sup\u00e9rieure  Paris-Saclay","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"Proof techniques for security protocols","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089727197","display_name":"Guillaume Scerri","orcid":null},"institutions":[{"id":"https://openalex.org/I195731000","display_name":"Universit\u00e9 de Versailles Saint-Quentin-en-Yvelines","ror":"https://ror.org/03mkjjy25","country_code":"FR","type":"education","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guillaume Scerri","raw_affiliation_strings":["Universit\u00e9 Versailles Saint-Quentin & Inria, Versailles, France","Personal Trusted cloud","Universit\u00e9 de Versailles Saint-Quentin-en-Yvelines"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Versailles Saint-Quentin & Inria, Versailles, France","institution_ids":[]},{"raw_affiliation_string":"Personal Trusted cloud","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 de Versailles Saint-Quentin-en-Yvelines","institution_ids":["https://openalex.org/I195731000"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7026,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62835588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1427","last_page":"1444"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9995999932289124,"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.9995999932289124,"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/T10237","display_name":"Cryptography and Data Security","score":0.9973999857902527,"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/T13999","display_name":"Digital Rights Management and Security","score":0.9950000047683716,"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/oracle","display_name":"Oracle","score":0.8085335493087769},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7671571969985962},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7492069005966187},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.7316321134567261},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.6812827587127686},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.603388786315918},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.4985635280609131},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4896834194660187},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36415398120880127},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29913419485092163},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.26463496685028076},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.11004006862640381},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08548295497894287},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.06989055871963501}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.8085335493087769},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7671571969985962},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7492069005966187},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.7316321134567261},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.6812827587127686},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.603388786315918},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4985635280609131},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4896834194660187},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36415398120880127},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29913419485092163},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.26463496685028076},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.11004006862640381},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08548295497894287},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.06989055871963501},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3372297.3417229","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3372297.3417229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2300704736","display_name":"Protocol Analysis - Combining Existing Tools","funder_award_id":"ANR-17-CE39-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W82326172","https://openalex.org/W998113429","https://openalex.org/W1499934958","https://openalex.org/W1597823478","https://openalex.org/W1601458649","https://openalex.org/W1760594424","https://openalex.org/W1805451635","https://openalex.org/W1981449595","https://openalex.org/W1988245494","https://openalex.org/W2020887999","https://openalex.org/W2041428801","https://openalex.org/W2045828738","https://openalex.org/W2092503472","https://openalex.org/W2104270509","https://openalex.org/W2106069663","https://openalex.org/W2108978217","https://openalex.org/W2123352750","https://openalex.org/W2123991163","https://openalex.org/W2151413173","https://openalex.org/W2155728227","https://openalex.org/W2156773905","https://openalex.org/W2163987593","https://openalex.org/W2539309220","https://openalex.org/W2701155867","https://openalex.org/W2797851632","https://openalex.org/W2806729772","https://openalex.org/W2808192222","https://openalex.org/W2898492666","https://openalex.org/W2964322707","https://openalex.org/W2991071002","https://openalex.org/W3048390074","https://openalex.org/W3150095246","https://openalex.org/W4206109607","https://openalex.org/W4249101014"],"related_works":["https://openalex.org/W2073713056","https://openalex.org/W3110702597","https://openalex.org/W2078761926","https://openalex.org/W2110441383","https://openalex.org/W2125620709","https://openalex.org/W1498872724","https://openalex.org/W2032233321","https://openalex.org/W3121970507","https://openalex.org/W2110028391","https://openalex.org/W54497855"],"abstract_inverted_index":{"We":[0],"provide":[1],"a":[2,7,25],"composition":[3,10],"framework":[4],"together":[5],"with":[6],"variety":[8],"of":[9,18,22,24],"theorems":[11],"allowing":[12],"to":[13,38,48],"split":[14],"the":[15,40,49],"security":[16],"proof":[17,33],"an":[19],"unbounded":[20],"number":[21],"sessions":[23],"compound":[26],"protocol":[27],"into":[28],"simpler":[29],"goals.":[30],"While":[31],"many":[32],"techniques":[34],"could":[35],"be":[36],"used":[37],"prove":[39],"subgoals,":[41],"our":[42],"model":[43],"is":[44],"particularly":[45],"well":[46],"suited":[47],"Computationally":[50],"Complete":[51],"Symbolic":[52],"Attacker":[53],"(ccsA)":[54],"model.":[55]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}