{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:15:54Z","timestamp":1763507754800,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"UT Austin Provost Fellowship"},{"name":"DARPA SafeWare and the Packard Foundation"},{"name":"Packard Foundation Fellowship"},{"name":"Simons Investigator Award"},{"name":"NSF","award":["CNS-1414023, CNS-1908181, CNS-1908611, CNS-1414082"],"award-info":[{"award-number":["CNS-1414023, CNS-1908181, CNS-1908611, CNS-1414082"]}]},{"name":"Office of Academic Research, U.S. Naval Academy","award":["N00014-19-1-2294"],"award-info":[{"award-number":["N00014-19-1-2294"]}]},{"name":"Packard Foundation Subaward"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,30]]},"DOI":"10.1145\/3372297.3417230","type":"proceedings-article","created":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T16:20:06Z","timestamp":1614874806000},"page":"391-408","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["PPE Circuits: Formal Definition to Software Automation"],"prefix":"10.1145","author":[{"given":"Susan","family":"Hohenberger","sequence":"first","affiliation":[{"name":"Johns Hopkins University, Baltimore, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satyanarayana","family":"Vusirikala","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brent","family":"Waters","sequence":"additional","affiliation":[{"name":"University of Texas at Austin & NTT Research, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"volume-title":"Advances in Cryptology -","author":"Abe Masayuki","key":"e_1_3_2_2_2_1"},{"key":"e_1_3_2_2_3_1","first-page":"390","article-title":"Structure-Preserving Signatures from Type II Pairings","volume":"2014","author":"Abe Masayuki","year":"2014","journal-title":"Advances in Cryptology - CRYPTO"},{"volume-title":"Run in Type-III: Fast and Scalable Bilinear-Type Conversion Using Integer Programming. In Advances in Cryptology -","author":"Abe Masayuki","key":"e_1_3_2_2_4_1"},{"volume-title":"Certified Synthesis of Efficient Batch Verifiers. In IEEE 27th Computer Security Foundations Symposium. IEEE Computer Society, 153--165","year":"2014","author":"Akinyele Joseph A.","key":"e_1_3_2_2_5_1"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813601"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516718"},{"volume-title":"the ACM Conference on Computer and Communications Security. ACM, 474--487","author":"Akinyele Joseph A.","key":"e_1_3_2_2_8_1"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2699777.2699778"},{"volume-title":"Benjamin Gr\u00e9 goire","year":"2019","author":"Almeida Jos\u00e9 Bacelar","key":"e_1_3_2_2_10_1"},{"volume-title":"CCS","year":"2017","author":"Almeida Jos\u00e9 Bacelar","key":"e_1_3_2_2_11_1"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Bacelar Almeida Cecile Baritel-Ruet Manuel Barbosa Gilles Barthe Francois Dupressoir Benjamin Gr\u00e9 goire Vincent Laporte Tiago Oliveira Alley Stoughton and Pierre-Yves Strub. 2019 b. Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. In CCS. 1607--1622.  Jos\u00e9 Bacelar Almeida Cecile Baritel-Ruet Manuel Barbosa Gilles Barthe Francois Dupressoir Benjamin Gr\u00e9 goire Vincent Laporte Tiago Oliveira Alley Stoughton and Pierre-Yves Strub. 2019 b. Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. In CCS. 1607--1622.","DOI":"10.1145\/3319535.3363211"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134088"},{"volume-title":"Advances in Cryptology -","author":"Ambrona Miguel","key":"e_1_3_2_2_14_1"},{"volume-title":"Yassine Lakhnech, and Benedikt Schmidt.","year":"2015","author":"Barthe Gilles","key":"e_1_3_2_2_16_1"},{"key":"e_1_3_2_2_17_1","unstructured":"Gilles Barthe Francois Dupressoir Benjamin Gregoire Alley Stoughton and Pierre-Yves Strub. 2018a. EasyCrypt: Computer-Aided Cryptographic Proofs. https:\/\/www.easycrypt.info\/trac\/.  Gilles Barthe Francois Dupressoir Benjamin Gregoire Alley Stoughton and Pierre-Yves Strub. 2018a. EasyCrypt: Computer-Aided Cryptographic Proofs. https:\/\/www.easycrypt.info\/trac\/."},{"volume-title":"Advances in Cryptology -","author":"Barthe Gilles","key":"e_1_3_2_2_18_1"},{"key":"e_1_3_2_2_19_1","first-page":"355","article-title":"Strongly-Optimal Structure Preserving Signatures from Type II Pairings","volume":"2015","author":"Barthe Gilles","year":"2015","journal-title":"Synthesis and Lower Bounds. In Public-Key Cryptography - PKC"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243825"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480894"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813697"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382279"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"crossref","unstructured":"Mihir Bellare Eike Kiltz Chris Peikert and Brent Waters. 2012b. Identity-Based (Lossy) Trapdoor Functions and Applications. In EUROCRYPT.  Mihir Bellare Eike Kiltz Chris Peikert and Brent Waters. 2012b. Identity-Based (Lossy) Trapdoor Functions and Applications. In EUROCRYPT.","DOI":"10.1007\/978-3-642-29011-4_15"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.1"},{"volume-title":"Advances in Cryptology -","author":"Boneh Dan","key":"e_1_3_2_2_26_1"},{"key":"e_1_3_2_2_27_1","first-page":"440","article-title":"Hierarchical Identity Based Encryption with Constant Size Ciphertext","volume":"2005","author":"Boneh Dan","year":"2005","journal-title":"Advances in Cryptology - EUROCRYPT"},{"volume-title":"Franklin","year":"2001","author":"Boneh Dan","key":"e_1_3_2_2_28_1"},{"volume-title":"Short Signatures from the Weil Pairing","author":"Boneh Dan","key":"e_1_3_2_2_29_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45682-1_30"},{"volume-title":"Advances in Cryptology -","author":"Boyen Xavier","key":"e_1_3_2_2_30_1"},{"key":"e_1_3_2_2_31_1","first-page":"427","article-title":"b","volume":"2006","author":"Boyen Xavier","year":"2006","journal-title":"Compact Group Signatures Without Random Oracles. In Advances in Cryptology - EUROCRYPT"},{"volume-title":"Advances in Cryptology -","author":"Camenisch Jan","key":"e_1_3_2_2_32_1"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00019"},{"volume-title":"Efficient Construction of (Distributed) Verifiable Random Functions","author":"Dodis Yevgeniy","key":"e_1_3_2_2_34_1"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30580-4_28"},{"volume-title":"Advances in Cryptology -","author":"Gentry Craig","key":"e_1_3_2_2_37_1"},{"volume-title":"Advances in Cryptology -","author":"Gentry Craig","key":"e_1_3_2_2_38_1"},{"volume-title":"Advances in Cryptology -","author":"Goyal Vipul","key":"e_1_3_2_2_39_1"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455824"},{"volume-title":"Advances in Cryptology -","author":"Green Matthew","key":"e_1_3_2_2_41_1"},{"volume-title":"Efficient non-interactive proof systems for bilinear groups","author":"Groth Jens","key":"e_1_3_2_2_42_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78967-3_24"},{"volume-title":"Computer-Aided Proofs for Multiparty Computation with Active Security. In IEEE Computer Security Foundations Symposium, CSF","year":"2018","author":"Haagh Helene","key":"e_1_3_2_2_43_1"},{"volume-title":"Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. ACM, 84--95","author":"Hoang Viet Tung","key":"e_1_3_2_2_44_1"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339808"},{"volume-title":"Theory of Cryptography - 12th Theory of Cryptography Conference","author":"Jager Tibor","key":"e_1_3_2_2_46_1"},{"volume-title":"Advances in Cryptology -","author":"Lysyanskaya Anna","key":"e_1_3_2_2_47_1"},{"volume-title":"Automated Analysis and Synthesis of Block-Cipher Modes of Operation. In IEEE 27th Computer Security Foundations Symposium. IEEE Computer Society, 140--152","author":"Malozemoff Alex J.","key":"e_1_3_2_2_48_1"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65127-9_22"},{"volume-title":"Secure and Practical Identity-Based Encryption. IACR Cryptology ePrint Archive","year":"2005","author":"Naccache David","key":"e_1_3_2_2_50_1"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516672"},{"volume-title":"Efficient Identity-Based Encryption Without Random Oracles","author":"Waters Brent","key":"e_1_3_2_2_52_1","doi-asserted-by":"crossref","DOI":"10.1007\/11426639_7"},{"volume-title":"Dual System Encryption: Realizing Fully Secure IBE and HIBE under Simple Assumptions","author":"Waters Brent","key":"e_1_3_2_2_53_1"},{"volume-title":"Dual System Encryption: Realizing Fully Secure IBE and HIBE under Simple Assumptions","author":"Waters Brent","key":"e_1_3_2_2_54_1"}],"event":{"name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Virtual Event USA","acronym":"CCS '20"},"container-title":["Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417230","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3417230","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3417230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:25Z","timestamp":1750199605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":51,"alternative-id":["10.1145\/3372297.3417230","10.1145\/3372297"],"URL":"https:\/\/doi.org\/10.1145\/3372297.3417230","relation":{},"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"2020-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}