{"id":"https://openalex.org/W3108117129","doi":"https://doi.org/10.1145/3372297.3417230","title":"PPE Circuits: Formal Definition to Software Automation","display_name":"PPE Circuits: Formal Definition to Software Automation","publication_year":2020,"publication_date":"2020-10-30","ids":{"openalex":"https://openalex.org/W3108117129","doi":"https://doi.org/10.1145/3372297.3417230","mag":"3108117129"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3372297.3417230","pdf_url":null,"source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","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/A5083731744","display_name":"Susan Hohenberger","orcid":null},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Susan Hohenberger","raw_affiliation_strings":["Johns Hopkins University, Baltimore, MD, USA"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University, Baltimore, MD, USA","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052795789","display_name":"Satyanarayana Vusirikala","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Satyanarayana Vusirikala","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007379830","display_name":"Brent Waters","orcid":"https://orcid.org/0009-0008-9718-8623"},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brent Waters","raw_affiliation_strings":["University of Texas at Austin & NTT Research, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin & NTT Research, Austin, TX, USA","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.076,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.202698,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":60,"max":69},"biblio":{"volume":null,"issue":null,"first_page":"391","last_page":"408"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":1.0,"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":1.0,"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.9969,"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/T11424","display_name":"Security and Verification in Computing","score":0.9902,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7664362},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7464317},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.54831946},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.54819405},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.5438571},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.48733506},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45168453},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.421503},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.33821607},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2984199},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23882073}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3372297.3417230","pdf_url":null,"source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":24,"referenced_works":["https://openalex.org/W1484751769","https://openalex.org/W1592092778","https://openalex.org/W1610688607","https://openalex.org/W1981757200","https://openalex.org/W2011086847","https://openalex.org/W2015340470","https://openalex.org/W2039683463","https://openalex.org/W2060393385","https://openalex.org/W2086298846","https://openalex.org/W2108978217","https://openalex.org/W2116556172","https://openalex.org/W2127598599","https://openalex.org/W2141395382","https://openalex.org/W2152394049","https://openalex.org/W2164761415","https://openalex.org/W2165297797","https://openalex.org/W2170696315","https://openalex.org/W2614608017","https://openalex.org/W2767083252","https://openalex.org/W2890237875","https://openalex.org/W2921246914","https://openalex.org/W2971494243","https://openalex.org/W2982615885","https://openalex.org/W2985273010"],"related_works":["https://openalex.org/W767161385","https://openalex.org/W4307248189","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W4205482204","https://openalex.org/W3093954335","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1604988569"],"abstract_inverted_index":{"Pairing-based":[0],"cryptography":[1],"is":[2,17,111],"widely":[3],"used":[4],"for":[5,21,42,46,53,78,129,164],"its":[6],"efficiency":[7],"and":[8],"functionality.":[9],"When":[10],"designing":[11],"pairing-based":[12],"schemes,":[13],"one":[14],"common":[15],"task":[16,110],"to":[18,31,61,102,136],"devise":[19],"algorithms":[20],"verifying":[22,54,130],"a":[23,32,43,47,51,81,94,103,150],"set":[24,33,82,95,104],"of":[25,34,83,93,96,105,160,170],"untrusted":[26],"group":[27,36,98,107],"elements":[28,99],"with":[29,59,100,134],"respect":[30,60,101,135],"trusted":[35,106],"elements.":[37,108],"One":[38],"might":[39],"be":[40],"searching":[41],"verification":[44],"algorithm":[45,128],"signature":[48],"scheme":[49],"or":[50],"method":[52],"an":[55],"IBE/ABE":[56,63],"private":[57,132],"key":[58],"the":[62,72,91,131,137,143],"public":[64,138],"parameters.":[65,139],"In":[66],"ACM":[67],"CCS":[68],"2019":[69],"Hohenberger":[70],"Vusirikala,":[71],"AutoPPE":[73],"software":[74],"tool":[75],"was":[76,162],"introduced":[77],"automatically":[79],"generating":[80],"pairing":[84,97],"product":[85],"equations":[86],"(PPEs)":[87],"that":[88],"can":[89],"verify":[90],"correctness":[92],"This":[109],"non-trivial.":[112],"Some":[113],"schemes":[114,141],"(e.g.,":[115,142],"those":[116],"based":[117],"on":[118],"dual":[119],"system":[120],"encryption)":[121],"provably":[122],"do":[123],"not":[124],"support":[125],"any":[126],"efficient":[127],"keys":[133],"Other":[140],"Boyen-Waters":[144],"anonymous":[145],"IBE)":[146],"were":[147],"left":[148],"in":[149],"gray":[151],"area":[152],"by":[153],"Hohenberger-Vusirikala":[154],"(CCS":[155],"19)":[156],"--":[157],"no":[158,168],"conjunction":[159],"PPEs":[161],"known":[163],"testing":[165],"them,":[166],"but":[167],"proof":[169],"untestability":[171],"either.":[172]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3108117129","counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-01-18T10:06:09.727924","created_date":"2020-12-07"}