{"id":"https://openalex.org/W2406472097","doi":null,"title":"Automated Analysis and Synthesis of Padding-Based Encryption Schemes","display_name":"Automated Analysis and Synthesis of Padding-Based Encryption Schemes","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2406472097","mag":"2406472097"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.303.3227","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.3227","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eprint.iacr.org/2012/695.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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","observed_orcids":["https://orcid.org/0000-0002-3853-1777"]},"institutions":[{"id":"https://openalex.org/I105140100","display_name":"Madrid Institute for Advanced Studies","ror":"https://ror.org/027pk6j83","country_code":"ES","type":"education","lineage":["https://openalex.org/I105140100"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["Imdea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imdea","institution_ids":["https://openalex.org/I105140100"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104029779","display_name":"Juan Manuel Crespo","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I105140100","display_name":"Madrid Institute for Advanced Studies","ror":"https://ror.org/027pk6j83","country_code":"ES","type":"education","lineage":["https://openalex.org/I105140100"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Manuel Crespo","raw_affiliation_strings":["Imdea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imdea","institution_ids":["https://openalex.org/I105140100"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004667371","display_name":"C\u00e9sar Kunz","orcid":null,"observed_orcids":[]},"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":"C\u00e9sar Kunz","raw_affiliation_strings":["French Institute for Research in Computer Science and Automation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"French Institute for Research in Computer Science and Automation","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103256238","display_name":"Benjamin Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6650-9924","observed_orcids":["https://orcid.org/0000-0001-6650-9924"]},"institutions":[{"id":"https://openalex.org/I105140100","display_name":"Madrid Institute for Advanced Studies","ror":"https://ror.org/027pk6j83","country_code":"ES","type":"education","lineage":["https://openalex.org/I105140100"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Benjamin Gr\u00e9goire","raw_affiliation_strings":["Imdea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imdea","institution_ids":["https://openalex.org/I105140100"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005219814","display_name":"Yassine Lakhnech","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yassine Lakhnech","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5088954009","display_name":"Santiago Zanella-B\u00e9guelin","orcid":"https://orcid.org/0000-0003-0479-9967","observed_orcids":["https://orcid.org/0000-0003-0479-9967"]},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Santiago Zanella-B\u00e9guelin","raw_affiliation_strings":["(Microsoft)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"(Microsoft)","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2208,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83878392,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9804999828338623,"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/T10237","display_name":"Cryptography and Data Security","score":0.9804999828338623,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.011900000274181366,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0026000000070780516,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/machine-checked-proofs","display_name":"machine-checked proofs","score":0.6980000138282776},{"id":"https://openalex.org/keywords/easycrypt","display_name":"EasyCrypt","score":0.8700000047683716},{"id":"https://openalex.org/keywords/random-oracle-model","display_name":"random oracle model","score":0.7630000114440918},{"id":"https://openalex.org/keywords/chosen-plaintext-attack","display_name":"chosen-plaintext attack","score":0.875},{"id":"https://openalex.org/keywords/chosen-ciphertext-attack","display_name":"chosen ciphertext attack","score":0.9940000176429749},{"id":"https://openalex.org/keywords/rsa-oaep","display_name":"RSA-OAEP","score":0.8519999980926514},{"id":"https://openalex.org/keywords/public-key-encryption","display_name":"public-key encryption","score":0.7390000224113464},{"id":"https://openalex.org/keywords/trapdoor-permutations","display_name":"trapdoor permutations","score":0.7710000276565552},{"id":"https://openalex.org/keywords/hash-functions","display_name":"hash functions","score":0.8849999904632568},{"id":"https://openalex.org/keywords/search-space-exploration","display_name":"search space exploration","score":0.6549999713897705}],"concepts":[{"id":"https://openalex.org/C165435473","wikidata":"https://www.wikidata.org/wiki/Q1509884","display_name":"Padding","level":2,"score":0.7335726022720337},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7028020024299622},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6283367872238159},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.6152928471565247},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5571095943450928},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5563026070594788},{"id":"https://openalex.org/C92717368","wikidata":"https://www.wikidata.org/wiki/Q1162538","display_name":"Plaintext","level":3,"score":0.50283282995224},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4807531535625458},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.4797600209712982},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.42752718925476074},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34779971837997437},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.2558406889438629},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.25494784116744995},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24399781227111816},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.303.3227","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.3227","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eprint.iacr.org/2012/695.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W42122073","https://openalex.org/W95071708","https://openalex.org/W187962066","https://openalex.org/W1539009458","https://openalex.org/W1552695147","https://openalex.org/W1589176872","https://openalex.org/W1937880336","https://openalex.org/W2011086847","https://openalex.org/W2048355938","https://openalex.org/W2050586071","https://openalex.org/W2052267638","https://openalex.org/W2081704178","https://openalex.org/W2091877728","https://openalex.org/W2092107726","https://openalex.org/W2101432564","https://openalex.org/W2108556169","https://openalex.org/W2108978217","https://openalex.org/W2109365488","https://openalex.org/W2113352466","https://openalex.org/W2113999696","https://openalex.org/W2123991163","https://openalex.org/W2130123502","https://openalex.org/W2131146089","https://openalex.org/W2134112335","https://openalex.org/W2146109362","https://openalex.org/W2161195863","https://openalex.org/W2162571320","https://openalex.org/W2162960800","https://openalex.org/W2166027506","https://openalex.org/W2166957790","https://openalex.org/W2286477783","https://openalex.org/W2611357843","https://openalex.org/W2613409654","https://openalex.org/W2613433111","https://openalex.org/W2912926260"],"related_works":["https://openalex.org/W3123730212","https://openalex.org/W4301728020","https://openalex.org/W7096568540","https://openalex.org/W136315063","https://openalex.org/W3031844398","https://openalex.org/W2050586071","https://openalex.org/W1797934246","https://openalex.org/W7095135332","https://openalex.org/W1499996761","https://openalex.org/W2029929874"],"abstract_inverted_index":{"Verifiable":[0],"security":[1,18,51,112,137],"is":[2,58],"an":[3],"emerging":[4],"approach":[5],"in":[6,118,148],"cryptography":[7],"that":[8],"advocates":[9],"the":[10,50,68,119,158,169,178],"use":[11],"of":[12,20,35,52,55,67,70,84,111,141,160,171],"principled":[13],"tools":[14,24],"for":[15,39,48,78,109,139,155],"building":[16],"machine-checked":[17,146],"proofs":[19,37,110,140,147],"cryptographic":[21,56],"constructions.":[22,42],"Existing":[23],"following":[25],"this":[26,76],"approach,":[27],"such":[28,100],"as":[29,101],"EasyCrypt":[30],"or":[31],"CryptoVerif,":[32],"fall":[33],"short":[34],"finding":[36],"automatically":[38],"many":[40],"interesting":[41],"In":[43],"fact,":[44],"devising":[45],"automated":[46],"methods":[47],"analyzing":[49],"large":[53],"classes":[54],"constructions":[57,99],"a":[59,64,82,131,153,184],"long-standing":[60],"problem":[61],"which":[62,95],"precludes":[63],"systematic":[65],"exploration":[66],"space":[69,159],"possible":[71],"designs.":[72],"This":[73],"paper":[74],"addresses":[75],"issue":[77],"padding-based":[79,161],"encryption":[80,86,162],"schemes,":[81],"class":[83],"public-key":[85],"schemes":[87,163],"built":[88],"from":[89],"hash":[90],"functions":[91],"and":[92,115,134],"trapdoor":[93],"permutations,":[94],"includes":[96],"widely":[97],"used":[98],"RSA-OAEP.":[102],"Firstly,":[103],"we":[104,144,151,182],"provide":[105,152,183],"algorithms":[106,124],"to":[107,176],"search":[108,179],"against":[113],"chosen-plaintext":[114,142],"chosenciphertext":[116],"attacks":[117],"random":[120],"oracle":[121],"model.":[122],"These":[123],"are":[125],"based":[126],"on":[127,168],"domain-specific":[128],"logics":[129],"with":[130],"computational":[132],"interpretation":[133],"yield":[135],"quantitative":[136],"guarantees;":[138],"security,":[143],"output":[145],"EasyCrypt.":[149],"Secondly,":[150],"crawler":[154],"exhaustively":[156],"exploring":[157],"under":[164],"user-specified":[165],"restrictions":[166],"(e.g.":[167],"size":[170],"their":[172],"description),":[173],"using":[174],"filters":[175],"prune":[177],"space.":[180],"Lastly,":[181]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}