{"id":"https://openalex.org/W2252150191","doi":"https://doi.org/10.1145/2856449","title":"Pinocchio","display_name":"Pinocchio","publication_year":2016,"publication_date":"2016-01-25","ids":{"openalex":"https://openalex.org/W2252150191","doi":"https://doi.org/10.1145/2856449","mag":"2252150191"},"language":"en","primary_location":{"id":"doi:10.1145/2856449","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2856449","pdf_url":null,"source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"type":"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/A5048461894","display_name":"Bryan Parno","orcid":"https://orcid.org/0000-0002-9113-1684"},"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":true,"raw_author_name":"Bryan Parno","raw_affiliation_strings":["Microsoft Research"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023305744","display_name":"Jon Howell","orcid":"https://orcid.org/0000-0002-1781-2473"},"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":"Jon Howell","raw_affiliation_strings":["Microsoft Research"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044697595","display_name":"Craig Gentry","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Craig Gentry","raw_affiliation_strings":["IBM Research"],"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089603958","display_name":"Mariana Raykova","orcid":"https://orcid.org/0000-0002-1744-4025"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mariana Raykova","raw_affiliation_strings":["SRI International"],"affiliations":[{"raw_affiliation_string":"SRI International","institution_ids":["https://openalex.org/I1298353152"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048461894"],"corresponding_institution_ids":["https://openalex.org/I4210164937"],"apc_list":null,"apc_paid":null,"fwci":10.1599,"has_fulltext":false,"cited_by_count":192,"citation_normalized_percentile":{"value":0.98073073,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"59","issue":"2","first_page":"103","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/T10237","display_name":"Cryptography and Data Security","score":0.9987000226974487,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/correctness","display_name":"Correctness","score":0.8919003009796143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8264185190200806},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7599503993988037},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5818305611610413},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5003201961517334},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.45705127716064453},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.4434199035167694},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42074066400527954},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2956779897212982},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.266038179397583}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8919003009796143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8264185190200806},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7599503993988037},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5818305611610413},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5003201961517334},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.45705127716064453},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.4434199035167694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42074066400527954},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2956779897212982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.266038179397583},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2856449","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2856449","pdf_url":null,"source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W8137136","https://openalex.org/W32654648","https://openalex.org/W54526233","https://openalex.org/W70331077","https://openalex.org/W104209573","https://openalex.org/W167928972","https://openalex.org/W259957856","https://openalex.org/W1424543055","https://openalex.org/W1480225633","https://openalex.org/W1496686022","https://openalex.org/W1504669610","https://openalex.org/W1506068270","https://openalex.org/W1525737403","https://openalex.org/W1538440442","https://openalex.org/W1553083934","https://openalex.org/W1555566055","https://openalex.org/W1557386445","https://openalex.org/W1564691070","https://openalex.org/W1566967335","https://openalex.org/W1569229205","https://openalex.org/W1576967699","https://openalex.org/W1577653766","https://openalex.org/W1584915320","https://openalex.org/W1602903055","https://openalex.org/W1655990431","https://openalex.org/W1905774212","https://openalex.org/W1930567086","https://openalex.org/W1970606468","https://openalex.org/W1970808997","https://openalex.org/W1971394347","https://openalex.org/W1976646754","https://openalex.org/W2019578639","https://openalex.org/W2031533839","https://openalex.org/W2041068798","https://openalex.org/W2043007983","https://openalex.org/W2045717693","https://openalex.org/W2049982182","https://openalex.org/W2055456945","https://openalex.org/W2059671515","https://openalex.org/W2067047774","https://openalex.org/W2067596507","https://openalex.org/W2067700169","https://openalex.org/W2102632861","https://openalex.org/W2103363198","https://openalex.org/W2108255910","https://openalex.org/W2110698954","https://openalex.org/W2114579022","https://openalex.org/W2116556172","https://openalex.org/W2116653107","https://openalex.org/W2117797270","https://openalex.org/W2119948977","https://openalex.org/W2122718825","https://openalex.org/W2134679597","https://openalex.org/W2141395382","https://openalex.org/W2146099890","https://openalex.org/W2148352980","https://openalex.org/W2152924492","https://openalex.org/W2153553074","https://openalex.org/W2169657197","https://openalex.org/W2171960770","https://openalex.org/W2192481898","https://openalex.org/W2295428206","https://openalex.org/W2394629393","https://openalex.org/W2398448180","https://openalex.org/W2401959250","https://openalex.org/W2402869180","https://openalex.org/W2953012806","https://openalex.org/W2963893667","https://openalex.org/W2964279767","https://openalex.org/W4230464498"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W4241418540","https://openalex.org/W2725786787","https://openalex.org/W1524101012"],"abstract_inverted_index":{"To":[0,22],"instill":[1],"greater":[2],"confidence":[3],"in":[4,123,194],"computations":[5,35],"outsourced":[6],"to":[7,14,51,59,79,155,179,190,213,217],"the":[8,16,19,44,61,68,76,93,97,100,105,151,188,195,202,210,214,235],"cloud,":[9],"clients":[10],"should":[11],"be":[12],"able":[13],"verify":[15],"correctness":[17],"of":[18,83,92,99,142,229],"results":[20],"returned.":[21],"this":[23,55],"end,":[24],"we":[25],"introduce":[26],"Pinocchio,":[27,43],"a":[28,47,71,81,108,130,227],"built":[29],"system":[30,154],"for":[31],"efficiently":[32],"verifying":[33],"general":[34],"while":[36],"relying":[37],"only":[38,88],"on":[39,70,115],"cryptographic":[40],"assumptions.":[41],"With":[42],"client":[45],"creates":[46],"public":[48,109],"evaluation":[49,77,114],"key":[50,78],"describe":[52],"her":[53],"computation;":[54],"setup":[56],"is":[57,87,121,129,150,169],"proportional":[58],"evaluating":[60],"computation":[62,69,94,196,203,237],"once.":[63],"The":[64,85,165],"worker":[65,189],"then":[66],"evaluates":[67],"particular":[72],"input":[73],"and":[74,197],"uses":[75],"produce":[80],"proof":[82,86,106,167],"correctness.":[84],"288":[89],"bytes,":[90],"regardless":[91],"performed":[95,201],"or":[96],"size":[98],"IO.":[101],"Anyone":[102],"can":[103],"check":[104],"using":[107],"verification":[110,127,157],"key.":[111],"Crucially,":[112],"our":[113],"seven":[116],"applications":[117],"demonstrates":[118],"that":[119,199,225,233],"Pinocchio":[120,149,173,186,220],"efficient":[122],"practice":[124],"too.":[125],"Pinocchio's":[126],"time":[128],"fixed":[131],"10":[132],"ms":[133],"plus":[134],"0.4--15":[135],"\u03bcs":[136],"per":[137],"IO":[138],"element:":[139],"5--7":[140],"orders":[141],"magnitude":[143],"less":[144],"than":[145,159],"previous":[146],"work;":[147],"indeed":[148],"first":[152],"general-purpose":[153],"demonstrate":[156],"cheaper":[158],"native":[160],"execution":[161],"(for":[162],"some":[163],"apps).":[164],"worker's":[166],"effort":[168],"still":[170],"expensive,":[171],"but":[172],"reduces":[174],"it":[175],"by":[176],"19\u00d7--60\u00d7":[177],"relative":[178],"prior":[180],"work.":[181],"As":[182],"an":[183,222],"additional":[184],"feature,":[185],"allows":[187],"include":[191],"private":[192,211],"inputs":[193,212],"prove":[198],"she":[200],"correctly":[204],"without":[205],"revealing":[206],"any":[207],"information":[208],"about":[209],"client.":[215],"Finally,":[216],"aid":[218],"development,":[219],"provides":[221],"end-to-end":[223],"toolchain":[224],"compiles":[226],"subset":[228],"C":[230],"into":[231],"programs":[232],"implement":[234],"verifiable":[236],"protocol.<!--":[238],"END_PAGE_1":[239],"-->":[240]},"counts_by_year":[{"year":2026,"cited_by_count":10},{"year":2025,"cited_by_count":54},{"year":2024,"cited_by_count":43},{"year":2023,"cited_by_count":24},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-06T07:47:59.780226","created_date":"2016-06-24T00:00:00"}