{"id":"https://openalex.org/W2099981061","doi":"https://doi.org/10.1145/2508859.2516710","title":"Computationally complete symbolic attacker and key exchange","display_name":"Computationally complete symbolic attacker and key exchange","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2099981061","doi":"https://doi.org/10.1145/2508859.2516710","mag":"2099981061"},"language":"en","primary_location":{"id":"doi:10.1145/2508859.2516710","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2508859.2516710","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13","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/A5091874968","display_name":"Gergei Bana","orcid":null},"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gergei Bana","raw_affiliation_strings":["INRIA, Paris, France","INRIA,Paris,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"INRIA,Paris,France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030198372","display_name":"Koji Hasebe","orcid":null},"institutions":[{"id":"https://openalex.org/I146399215","display_name":"University of Tsukuba","ror":"https://ror.org/02956yf07","country_code":"JP","type":"education","lineage":["https://openalex.org/I146399215"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koji Hasebe","raw_affiliation_strings":["Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Tsukuba, Japan","Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Tsukuba, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Tsukuba, Japan","institution_ids":["https://openalex.org/I146399215"]},{"raw_affiliation_string":"Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Tsukuba, Japan#TAB#","institution_ids":["https://openalex.org/I146399215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014701461","display_name":"Mitsuhiro Okada","orcid":"https://orcid.org/0000-0001-9117-4935"},"institutions":[{"id":"https://openalex.org/I203951103","display_name":"Keio University","ror":"https://ror.org/02kn6nx58","country_code":"JP","type":"education","lineage":["https://openalex.org/I203951103"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mitsuhiro Okada","raw_affiliation_strings":["Department of Philosophy, Keio University, Tokyo, Japan","Department of Philosophy, Keio University, Tokyo, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Keio University, Tokyo, Japan","institution_ids":["https://openalex.org/I203951103"]},{"raw_affiliation_string":"Department of Philosophy, Keio University, Tokyo, Japan#TAB#","institution_ids":["https://openalex.org/I203951103"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3415,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81372886,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1231","last_page":"1246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9997000098228455,"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.9997000098228455,"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.9969000220298767,"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.9883999824523926,"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/soundness","display_name":"Soundness","score":0.8855814933776855},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7324602603912354},{"id":"https://openalex.org/keywords/key-exchange","display_name":"Key exchange","score":0.7145288586616516},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.6385229825973511},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.636017382144928},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.635113000869751},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.614088237285614},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5420407652854919},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.4945337474346161},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.47914499044418335},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.46895831823349},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4107738435268402},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3721557557582855},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.35403013229370117},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.3351251482963562},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15084493160247803}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8855814933776855},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7324602603912354},{"id":"https://openalex.org/C99674996","wikidata":"https://www.wikidata.org/wiki/Q1414155","display_name":"Key exchange","level":4,"score":0.7145288586616516},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.6385229825973511},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.636017382144928},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.635113000869751},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.614088237285614},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5420407652854919},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4945337474346161},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.47914499044418335},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.46895831823349},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4107738435268402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3721557557582855},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.35403013229370117},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.3351251482963562},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15084493160247803},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2508859.2516710","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2508859.2516710","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.665.4152","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.665.4152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BC-ccs14.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00918848v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00918848","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. pp.1231-1246, ⟨10.1145/2508859.2516710⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.8199999928474426,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G8449633971","display_name":"Logical verification method for rational secret sharing protocols","funder_award_id":"24700022","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W188034648","https://openalex.org/W1505522548","https://openalex.org/W1508967933","https://openalex.org/W1516512945","https://openalex.org/W1580671553","https://openalex.org/W1668532326","https://openalex.org/W1760594424","https://openalex.org/W1770130844","https://openalex.org/W1891511095","https://openalex.org/W1896613517","https://openalex.org/W1901278359","https://openalex.org/W1956945926","https://openalex.org/W1982325601","https://openalex.org/W1987581799","https://openalex.org/W1988245494","https://openalex.org/W2011086847","https://openalex.org/W2055665937","https://openalex.org/W2063161063","https://openalex.org/W2087811213","https://openalex.org/W2097924903","https://openalex.org/W2104655005","https://openalex.org/W2110648240","https://openalex.org/W2126338744","https://openalex.org/W2146057257","https://openalex.org/W2165214731","https://openalex.org/W2169265599","https://openalex.org/W3123914623"],"related_works":["https://openalex.org/W2123811836","https://openalex.org/W2888183313","https://openalex.org/W3009555975","https://openalex.org/W1913041503","https://openalex.org/W2503581178","https://openalex.org/W3045797499","https://openalex.org/W1863171594","https://openalex.org/W2096713635","https://openalex.org/W2953298321","https://openalex.org/W3165269102"],"abstract_inverted_index":{"Recently,":[0],"Bana":[1],"and":[2,29,67,72],"Comon-Lundh":[3],"introduced":[4],"the":[5,24,86,94,99,129],"notion":[6],"of":[7,32,89,96,101,106],"computationally":[8],"complete":[9],"symbolic":[10,18],"attacker":[11],"to":[12,17,52,60],"deliver":[13],"unconditional":[14],"computational":[15,90],"soundness":[16,91],"protocol":[19,143],"verification.":[20],"First":[21],"we":[22,44,77],"explain":[23],"relationship":[25],"between":[26],"their":[27,50],"technique":[28,82,119],"Fitting's":[30],"embedding":[31],"classical":[33],"logic":[34],"into":[35],"S4.":[36],"Then,":[37],"based":[38],"on":[39],"predicates":[40],"for":[41],"\"key":[42],"usability\",":[43],"provide":[45],"an":[46,121],"axiomatic":[47],"system":[48],"in":[49,142],"framework":[51],"handle":[53],"secure":[54],"encryption":[55],"when":[56],"keys":[57],"are":[58],"allowed":[59],"be":[61,140],"sent.":[62],"We":[63,134],"examine":[64],"both":[65,70],"IND-CCA2":[66],"KDM-CCA2":[68],"encryptions,":[69],"symmetric":[71],"asymmetric":[73],"situations.":[74],"For":[75],"unforgeability,":[76],"consider":[78],"INT-CTXT":[79],"encryptions.":[80],"This":[81],"does":[83,125],"not":[84,126],"require":[85],"usual":[87],"limitations":[88],"such":[92],"as":[93],"absence":[95,100],"dynamic":[97],"corruption,":[98],"key-cycles":[102],"or":[103],"unambiguous":[104],"parsing":[105],"bit":[107],"strings.":[108],"In":[109],"particular,":[110],"if":[111],"a":[112],"key-cycle":[113],"possibly":[114],"corrupts":[115],"CCA2":[116],"encryption,":[117],"our":[118,137],"delivers":[120],"attack.":[122],"If":[123],"it":[124],"endanger":[127],"security,":[128],"security":[130],"proof":[131],"goes":[132],"through.":[133],"illustrate":[135],"how":[136],"notions":[138],"can":[139],"applied":[141],"proofs.":[144]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}