{"id":"https://openalex.org/W2157417930","doi":"https://doi.org/10.1145/2508859.2516663","title":"Fully automated analysis of padding-based encryption in the computational model","display_name":"Fully automated analysis of padding-based encryption in the computational model","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2157417930","doi":"https://doi.org/10.1145/2508859.2516663","mag":"2157417930"},"language":"en","primary_location":{"id":"doi:10.1145/2508859.2516663","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2508859.2516663","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":"preprint","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/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain","Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104029779","display_name":"Juan Manuel Crespo","orcid":null},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Manuel Crespo","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain","Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103256238","display_name":"Benjamin Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6650-9924"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benjamin Gr\u00e9goire","raw_affiliation_strings":["INRIA Sophia Antipolis, Sophia Antipolis, France","MARELLE - Mathematical,  Reasoning and Software (France)"],"affiliations":[{"raw_affiliation_string":"INRIA Sophia Antipolis, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"MARELLE - Mathematical,  Reasoning and Software (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004667371","display_name":"C\u00e9sar Kunz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"C\u00e9sar Kunz","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain","Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005219814","display_name":"Yassine Lakhnech","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yassine Lakhnech","raw_affiliation_strings":["U. de Grenoble & VERIMAG, Grenoble, France","VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res\r\nFrance  - France)"],"affiliations":[{"raw_affiliation_string":"U. de Grenoble & VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I4210156361"]},{"raw_affiliation_string":"VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res\r\nFrance  - France)","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033110633","display_name":"Benedikt Schmidt","orcid":"https://orcid.org/0009-0004-1937-7905"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Benedikt Schmidt","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain","Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088954009","display_name":"Santiago Zanella-B\u00e9guelin","orcid":"https://orcid.org/0000-0003-0479-9967"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Santiago Zanella-B\u00e9guelin","raw_affiliation_strings":["Microsoft Research, Cambridge, United Kingdom","Microsoft - Microsoft Research [Cambridge] (Roger Needham Building 7 J J Thomson Ave Cambridge CB3 0FB, UK - United Kingdom)"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft - Microsoft Research [Cambridge] (Roger Needham Building 7 J J Thomson Ave Cambridge CB3 0FB, UK - United Kingdom)","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5075577852"],"corresponding_institution_ids":["https://openalex.org/I4210162154"],"apc_list":null,"apc_paid":null,"fwci":11.5504,"has_fulltext":false,"cited_by_count":53,"citation_normalized_percentile":{"value":0.98392742,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1247","last_page":"1260"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9995999932289124,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7917322516441345},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.7167143821716309},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6267313957214355},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5870900750160217},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5521116852760315},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5312010645866394},{"id":"https://openalex.org/keywords/plaintext","display_name":"Plaintext","score":0.5238273739814758},{"id":"https://openalex.org/keywords/ciphertext","display_name":"Ciphertext","score":0.5117875933647156},{"id":"https://openalex.org/keywords/padding","display_name":"Padding","score":0.49718597531318665},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.47681042551994324},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.44421204924583435},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.4352298080921173},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.4146650433540344},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.41070181131362915},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.346988707780838},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.2755337059497833},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23573511838912964},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11514049768447876}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7917322516441345},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.7167143821716309},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6267313957214355},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5870900750160217},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5521116852760315},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5312010645866394},{"id":"https://openalex.org/C92717368","wikidata":"https://www.wikidata.org/wiki/Q1162538","display_name":"Plaintext","level":3,"score":0.5238273739814758},{"id":"https://openalex.org/C93974786","wikidata":"https://www.wikidata.org/wiki/Q1589480","display_name":"Ciphertext","level":3,"score":0.5117875933647156},{"id":"https://openalex.org/C165435473","wikidata":"https://www.wikidata.org/wiki/Q1509884","display_name":"Padding","level":2,"score":0.49718597531318665},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.47681042551994324},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44421204924583435},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.4352298080921173},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4146650433540344},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.41070181131362915},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.346988707780838},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.2755337059497833},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23573511838912964},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11514049768447876},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2508859.2516663","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2508859.2516663","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:HAL:hal-00935737v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00935737","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":"2013 ACM SIGSAC Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. pp.1247-1260, ⟨10.1145/2508859.2516663⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W42122073","https://openalex.org/W188034648","https://openalex.org/W200131369","https://openalex.org/W1498517373","https://openalex.org/W1511745870","https://openalex.org/W1531848080","https://openalex.org/W1539009458","https://openalex.org/W1552695147","https://openalex.org/W1589586740","https://openalex.org/W1619779852","https://openalex.org/W1811739458","https://openalex.org/W1872155400","https://openalex.org/W1973054120","https://openalex.org/W2029693536","https://openalex.org/W2050586071","https://openalex.org/W2052267638","https://openalex.org/W2081704178","https://openalex.org/W2091877728","https://openalex.org/W2096417343","https://openalex.org/W2108978217","https://openalex.org/W2113999696","https://openalex.org/W2123991163","https://openalex.org/W2127035198","https://openalex.org/W2141219978","https://openalex.org/W2159543798","https://openalex.org/W2166027506","https://openalex.org/W2166957790","https://openalex.org/W2286477783","https://openalex.org/W2753555060","https://openalex.org/W2912926260","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2997530193","https://openalex.org/W4310649982","https://openalex.org/W2942137924","https://openalex.org/W2383065991","https://openalex.org/W4236344152","https://openalex.org/W1519370602","https://openalex.org/W2011667854","https://openalex.org/W2802117553","https://openalex.org/W4313172668","https://openalex.org/W2135000443"],"abstract_inverted_index":{"Computer-aided":[0],"verification":[1],"provides":[2],"effective":[3],"means":[4],"of":[5,9,53,71,107],"analyzing":[6,65],"the":[7,66,75],"security":[8,70],"cryptographic":[10],"primitives.":[11],"However,":[12],"it":[13],"has":[14],"remained":[15],"a":[16,50,86,104],"challenge":[17,37],"to":[18,102],"achieve":[19],"fully":[20,91],"automated":[21,92],"analyses":[22],"yielding":[23],"guarantees":[24],"that":[25,88,110],"hold":[26],"against":[27,113],"computational":[28,56],"(rather":[29],"than":[30],"symbolic)":[31],"attacks.":[32],"This":[33],"paper":[34],"meets":[35],"this":[36,100],"for":[38,64,121],"public-key":[39],"encryption":[40,108],"schemes":[41,73,109],"built":[42],"from":[43,55],"trapdoor":[44],"permutations":[45],"and":[46,57,68,94,116],"hash":[47],"functions.":[48],"Using":[49],"novel":[51],"combination":[52],"techniques":[54],"symbolic":[58],"cryptography,":[59],"we":[60,84],"present":[61],"proof":[62,82,93],"systems":[63],"chosen-plaintext":[67],"chosen-ciphertext":[69],"such":[72],"in":[74],"random":[76],"oracle":[77],"model.":[78],"Building":[79],"on":[80],"these":[81],"systems,":[83],"develop":[85],"toolset":[87,101],"bundles":[89],"together":[90],"attack":[95],"finding":[96],"algorithms.":[97],"We":[98],"use":[99],"build":[103],"comprehensive":[105],"database":[106],"records":[111],"attacks":[112],"insecure":[114],"schemes,":[115],"proofs":[117],"with":[118],"concrete":[119],"bounds":[120],"secure":[122],"ones.":[123]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":6}],"updated_date":"2026-03-02T08:37:19.008085","created_date":"2025-10-10T00:00:00"}