{"id":"https://openalex.org/W2760303343","doi":"https://doi.org/10.1145/3133956.3134017","title":"A Fast and Verified Software Stack for Secure Function Evaluation","display_name":"A Fast and Verified Software Stack for Secure Function Evaluation","publication_year":2017,"publication_date":"2017-10-27","ids":{"openalex":"https://openalex.org/W2760303343","doi":"https://doi.org/10.1145/3133956.3134017","mag":"2760303343"},"language":"en","primary_location":{"id":"doi:10.1145/3133956.3134017","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3133956.3134017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://repositorio.inesctec.pt/handle/123456789/4738","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021548814","display_name":"Jos\u00e9 Bacelar Almeida","orcid":"https://orcid.org/0000-0003-0011-7455"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jos\u00e9 Bacelar Almeida","raw_affiliation_strings":["INESC TEC & Universidade do Minho, Braga, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543","https://openalex.org/I4210166615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065970435","display_name":"Manuel Barbosa","orcid":"https://orcid.org/0000-0002-6848-5564"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Manuel Barbosa","raw_affiliation_strings":["INESC TEC & FCUP Universidade do Porto, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC TEC & FCUP Universidade do Porto, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I182534213"]}]},{"author_position":"middle","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":false,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088006363","display_name":"Fran\u00e7ois Dupressoir","orcid":"https://orcid.org/0000-0003-3497-3110"},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Dupressoir","raw_affiliation_strings":["University of Surrey, Guildford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Surrey, Guildford, United Kingdom","institution_ids":["https://openalex.org/I28290843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103256238","display_name":"Benjamin Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6650-9924"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Benjamin Gr\u00e9goire","raw_affiliation_strings":["Inria Sophia-Antipolis, Nice, France"],"affiliations":[{"raw_affiliation_string":"Inria Sophia-Antipolis, Nice, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088318447","display_name":"Vincent Laporte","orcid":"https://orcid.org/0000-0002-3468-352X"},"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":"Vincent Laporte","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101575464","display_name":"V\u00edtor Pereira","orcid":"https://orcid.org/0000-0002-5721-9105"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Vitor Pereira","raw_affiliation_strings":["INESC TEC & FCUP Universidade do Porto, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC TEC & FCUP Universidade do Porto, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I182534213"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5021548814"],"corresponding_institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"],"apc_list":null,"apc_paid":null,"fwci":2.9102,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.93008937,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1989","last_page":"2006"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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.9993000030517578,"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":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8378397226333618},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7103632688522339},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.6526319980621338},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5405023097991943},{"id":"https://openalex.org/keywords/oblivious-transfer","display_name":"Oblivious transfer","score":0.49577006697654724},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.4689466655254364},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4622158408164978},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.44663897156715393},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4219260513782501},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.39977800846099854},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3646564781665802},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3163067698478699},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2056293785572052},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08893769979476929}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8378397226333618},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7103632688522339},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6526319980621338},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5405023097991943},{"id":"https://openalex.org/C53076038","wikidata":"https://www.wikidata.org/wiki/Q2915383","display_name":"Oblivious transfer","level":3,"score":0.49577006697654724},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.4689466655254364},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4622158408164978},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.44663897156715393},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4219260513782501},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.39977800846099854},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3646564781665802},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3163067698478699},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2056293785572052},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08893769979476929},{"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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3133956.3134017","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3133956.3134017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:alma.44SUR_INST:11138878240002346","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:repositorio.inesctec.pt:123456789/4738","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4738","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference object"},{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/50515","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/50515","pdf_url":null,"source":{"id":"https://openalex.org/S4306400354","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"pmh:oai:repositorio.inesctec.pt:123456789/4738","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4738","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference object"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G1119058265","display_name":null,"funder_award_id":"POCI-01-0145-FEDER-0069","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1167214205","display_name":null,"funder_award_id":"COMPETE","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1516346500","display_name":null,"funder_award_id":"01-0145","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G1578237752","display_name":null,"funder_award_id":"COMPETE","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G160550121","display_name":null,"funder_award_id":"-FEDER-","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1716593420","display_name":null,"funder_award_id":"-FEDER-","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G1763632427","display_name":null,"funder_award_id":"POCI-01-0145","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G2313760938","display_name":null,"funder_award_id":"COMPETE 2020 Programme","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G2711952031","display_name":null,"funder_award_id":"EP/R006938/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G274581676","display_name":null,"funder_award_id":"POCI-01","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G2811237814","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2899319108","display_name":null,"funder_award_id":"\u00abUID/EEA/50014/2013\u00bb","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3009126697","display_name":null,"funder_award_id":"POCI-01-0145-FEDER-006961","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G3244141788","display_name":null,"funder_award_id":"50014","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3491971210","display_name":null,"funder_award_id":"COMPETE 2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4176497637","display_name":null,"funder_award_id":"COMPETE 2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4239671149","display_name":null,"funder_award_id":"UID/EEA/50014/201","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4273863160","display_name":null,"funder_award_id":"UID/EEA/50014/2013","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4455079242","display_name":null,"funder_award_id":"POCI-01-","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4970457988","display_name":null,"funder_award_id":"N000141512750","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5074959871","display_name":null,"funder_award_id":"FCT-PD/BD/113967/2015 and UID/EEA/50014/2013","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5224927334","display_name":null,"funder_award_id":"POCI-01-","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5244017682","display_name":null,"funder_award_id":"\u00abPOCI-01-0145-FEDER-006961\u00bb","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5348594205","display_name":null,"funder_award_id":"FEDER","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5618816083","display_name":null,"funder_award_id":"POCI-01-01 45-FEDER-006961","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5643251411","display_name":null,"funder_award_id":"and N00","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5776112835","display_name":null,"funder_award_id":"UID/EEA/50014/2013","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5855171676","display_name":null,"funder_award_id":"POCI-01-0145-FEDER-006961","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6429998672","display_name":null,"funder_award_id":"N000141210914 and N000141512750","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6433882405","display_name":null,"funder_award_id":"0145-FEDER-006961","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G8862270368","display_name":null,"funder_award_id":"POCI-01-0145-FEDER","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8884816653","display_name":null,"funder_award_id":"POCI-01-0145-FEDER","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320324459","display_name":"Funda\u00e7\u00e3o Luso-Americana para o Desenvolvimento","ror":"https://ror.org/03jgmp057"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W18814837","https://openalex.org/W42122073","https://openalex.org/W84045054","https://openalex.org/W181837502","https://openalex.org/W187962066","https://openalex.org/W190228621","https://openalex.org/W564852913","https://openalex.org/W1480225633","https://openalex.org/W1485800369","https://openalex.org/W1494774797","https://openalex.org/W1497332869","https://openalex.org/W1505629034","https://openalex.org/W1584741922","https://openalex.org/W1588210015","https://openalex.org/W1603031697","https://openalex.org/W1635361314","https://openalex.org/W1826277484","https://openalex.org/W1840749574","https://openalex.org/W1939647617","https://openalex.org/W1982146060","https://openalex.org/W1984680759","https://openalex.org/W1987581799","https://openalex.org/W2001084165","https://openalex.org/W2018746447","https://openalex.org/W2030224590","https://openalex.org/W2039605106","https://openalex.org/W2059671515","https://openalex.org/W2067081213","https://openalex.org/W2067756717","https://openalex.org/W2078590992","https://openalex.org/W2092422002","https://openalex.org/W2099537756","https://openalex.org/W2106217851","https://openalex.org/W2119948977","https://openalex.org/W2123991163","https://openalex.org/W2129695855","https://openalex.org/W2134340933","https://openalex.org/W2145835327","https://openalex.org/W2158106499","https://openalex.org/W2167606175","https://openalex.org/W2170528665","https://openalex.org/W2170696315","https://openalex.org/W2181293862","https://openalex.org/W2188232729","https://openalex.org/W2202869460","https://openalex.org/W2226641133","https://openalex.org/W2262308442","https://openalex.org/W2267469130","https://openalex.org/W2329849566","https://openalex.org/W2402235285","https://openalex.org/W2402906095","https://openalex.org/W2498996213","https://openalex.org/W2507651339","https://openalex.org/W2575704491","https://openalex.org/W2577021223","https://openalex.org/W2585923440","https://openalex.org/W2598377911","https://openalex.org/W2952505426","https://openalex.org/W3141585064","https://openalex.org/W4299694611"],"related_works":["https://openalex.org/W2904818008","https://openalex.org/W2904314268","https://openalex.org/W57958781","https://openalex.org/W1554274402","https://openalex.org/W2361781577","https://openalex.org/W1488313539","https://openalex.org/W1971522943","https://openalex.org/W4308361275","https://openalex.org/W3034338022","https://openalex.org/W2126560026"],"abstract_inverted_index":{"We":[0,127],"present":[1],"a":[2,18,30,63,71,99,110,129],"high-assurance":[3],"software":[4],"stack":[5,12],"for":[6,56,75,102],"secure":[7,57],"function":[8],"evaluation":[9,131],"(SFE).":[10],"Our":[11,145],"consists":[13],"of":[14,33,89,113,120,132,150,153,158],"three":[15],"components:":[16],"i.":[17],"verified":[19,31,72,96],"compiler":[20,74],"(CircGen)":[21],"that":[22,67,137],"translates":[23],"C":[24],"programs":[25],"into":[26],"Boolean":[27,83],"circuits;":[28],"ii.":[29],"implementation":[32,93],"Yao's":[34],"SFE":[35,91],"protocol":[36,92],"based":[37,116],"on":[38,69,117],"garbled":[39,114],"circuits":[40,115],"and":[41,44,49,107,123,135],"oblivious":[42],"transfer;":[43],"iii.":[45],"transparent":[46],"application":[47],"integration":[48],"communications":[50],"via":[51],"FRESCO,":[52],"an":[53],"open-source":[54],"framework":[55,101,119],"multiparty":[58],"computation":[59],"(MPC).":[60],"CircGen":[61],"is":[62,94,139,165],"general":[64],"purpose":[65],"tool":[66],"builds":[68],"CompCert,":[70],"optimizing":[73],"C.":[76],"It":[77],"can":[78],"be":[79],"used":[80],"in":[81],"arbitrary":[82],"circuit-based":[84],"cryptography":[85],"deployments.":[86],"The":[87],"security":[88],"our":[90,133,163],"formally":[95],"using":[97],"EasyCrypt,":[98],"tool-assisted":[100],"building":[103,154],"high-confidence":[104],"cryptographic":[105,160],"proofs,":[106],"it":[108,138],"leverages":[109],"new":[111],"formalization":[112],"the":[118,151],"Bellare,":[121],"Hoang,":[122],"Rogaway":[124],"(CCS":[125],"2012).":[126],"conduct":[128],"practical":[130],"approach,":[134],"conclude":[136],"competitive":[140],"with":[141],"state-of-the-art":[142],"(unverified)":[143],"approaches.":[144],"work":[146],"provides":[147],"concrete":[148],"evidence":[149],"feasibility":[152],"efficient,":[155],"verified,":[156],"implementations":[157],"higher-level":[159],"systems.":[161],"All":[162],"development":[164],"publicly":[166],"available.":[167]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":4}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}