{"id":"https://openalex.org/W4205514486","doi":"https://doi.org/10.1145/3498713","title":"Oblivious algebraic data types","display_name":"Oblivious algebraic data types","publication_year":2022,"publication_date":"2022-01-12","ids":{"openalex":"https://openalex.org/W4205514486","doi":"https://doi.org/10.1145/3498713"},"language":"en","primary_location":{"id":"doi:10.1145/3498713","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498713","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498713","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3498713","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013294460","display_name":"Qianchuan Ye","orcid":"https://orcid.org/0000-0002-5977-5236"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qianchuan Ye","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073767542","display_name":"Benjamin Delaware","orcid":"https://orcid.org/0000-0002-1016-6261"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin Delaware","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.9322,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.77299195,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"6","issue":"POPL","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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.9998000264167786,"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.9991000294685364,"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/T10478","display_name":"Diamond and Carbon-based Materials Research","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials 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.8343403339385986},{"id":"https://openalex.org/keywords/secure-multi-party-computation","display_name":"Secure multi-party computation","score":0.7399883270263672},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6903330087661743},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.6048407554626465},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5930360555648804},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.5923603773117065},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5846118927001953},{"id":"https://openalex.org/keywords/oblivious-transfer","display_name":"Oblivious transfer","score":0.46645206212997437},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4604523777961731},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4272499084472656},{"id":"https://openalex.org/keywords/secure-two-party-computation","display_name":"Secure two-party computation","score":0.41192060708999634},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16294947266578674}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8343403339385986},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.7399883270263672},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6903330087661743},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6048407554626465},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5930360555648804},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.5923603773117065},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5846118927001953},{"id":"https://openalex.org/C53076038","wikidata":"https://www.wikidata.org/wiki/Q2915383","display_name":"Oblivious transfer","level":3,"score":0.46645206212997437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4604523777961731},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4272499084472656},{"id":"https://openalex.org/C13652956","wikidata":"https://www.wikidata.org/wiki/Q7444883","display_name":"Secure two-party computation","level":4,"score":0.41192060708999634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16294947266578674}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3498713","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498713","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498713","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3498713","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498713","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498713","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3929072778","display_name":null,"funder_award_id":"2019-19020700004","funder_id":"https://openalex.org/F4320333051","funder_display_name":"Intelligence Advanced Research Projects Activity"},{"id":"https://openalex.org/G4306970418","display_name":null,"funder_award_id":"contract #2019-19020700004","funder_id":"https://openalex.org/F4320333051","funder_display_name":"Intelligence Advanced Research Projects Activity"},{"id":"https://openalex.org/G846241803","display_name":"CRII: SHF: Bespoke Data Representation Synthesis via Contextual Data Refinement","funder_award_id":"1755880","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309036","display_name":"Purdue University","ror":"https://ror.org/02dqehb95"},{"id":"https://openalex.org/F4320309668","display_name":"Graduate School, Purdue University","ror":"https://ror.org/02dqehb95"},{"id":"https://openalex.org/F4320312530","display_name":"Office of the Director of National Intelligence","ror":"https://ror.org/01v3fsc55"},{"id":"https://openalex.org/F4320333051","display_name":"Intelligence Advanced Research Projects Activity","ror":"https://ror.org/01v3fsc55"},{"id":"https://openalex.org/F4320337349","display_name":"NIH Office of the Director","ror":"https://ror.org/00fj8a872"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4205514486.pdf","grobid_xml":"https://content.openalex.org/works/W4205514486.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W51265332","https://openalex.org/W1520270249","https://openalex.org/W1584741922","https://openalex.org/W1819958245","https://openalex.org/W1977764760","https://openalex.org/W1988374166","https://openalex.org/W1999721188","https://openalex.org/W2005192022","https://openalex.org/W2005756274","https://openalex.org/W2011086847","https://openalex.org/W2023035194","https://openalex.org/W2027471022","https://openalex.org/W2031533839","https://openalex.org/W2062018590","https://openalex.org/W2071929572","https://openalex.org/W2104815907","https://openalex.org/W2105931791","https://openalex.org/W2111446139","https://openalex.org/W2122049982","https://openalex.org/W2123991163","https://openalex.org/W2135322712","https://openalex.org/W2158106499","https://openalex.org/W2162846161","https://openalex.org/W2170993700","https://openalex.org/W2208923056","https://openalex.org/W2295923951","https://openalex.org/W2606882085","https://openalex.org/W2770556642","https://openalex.org/W2772681170","https://openalex.org/W2809380763","https://openalex.org/W2903850320","https://openalex.org/W2926029813","https://openalex.org/W2929650703","https://openalex.org/W2955155286","https://openalex.org/W2995664728","https://openalex.org/W3121396290","https://openalex.org/W3141585064","https://openalex.org/W3159613676","https://openalex.org/W6893793464","https://openalex.org/W6931293577"],"related_works":["https://openalex.org/W4293056000","https://openalex.org/W2952662274","https://openalex.org/W43278469","https://openalex.org/W2952477979","https://openalex.org/W2082804893","https://openalex.org/W2987358745","https://openalex.org/W2007899426","https://openalex.org/W2949728854","https://openalex.org/W3021131508","https://openalex.org/W2949576156"],"abstract_inverted_index":{"Secure":[0],"computation":[1,47,143],"allows":[2],"multiple":[3],"parties":[4],"to":[5,44,145],"compute":[6],"joint":[7],"functions":[8],"over":[9,133],"private":[10,134],"data":[11,63,77,84],"without":[12],"leaking":[13],"any":[14],"sensitive":[15],"data,":[16,135],"typically":[17],"using":[18,25,93],"powerful":[19],"cryptographic":[20],"techniques.":[21],"Writing":[22],"secure":[23,46,91,142],"applications":[24],"these":[26,52],"techniques":[27],"directly":[28],"can":[29,114,128],"be":[30],"challenging,":[31],"resulting":[32],"in":[33],"the":[34,119],"development":[35],"of":[36,51,75,121,150],"several":[37],"programming":[38],"languages":[39,53],"and":[40,86,105,136],"compilers":[41],"that":[42,112],"aim":[43],"make":[45],"accessible.":[48],"Unfortunately,":[49],"many":[50],"either":[54],"lack":[55],"or":[56],"have":[57],"limited":[58],"support":[59],"for":[60,89,102],"rich":[61],"recursive":[62],"structures,":[64],"like":[65],"trees.":[66],"In":[67],"this":[68,125],"paper,":[69],"we":[70,80],"propose":[71],"a":[72,87,107,122,130,146],"novel":[73],"representation":[74],"structured":[76],"types,":[78,85],"which":[79,110],"call":[81],"oblivious":[82,103],"algebraic":[83],"language":[88,96],"writing":[90],"computations":[92],"them.":[94],"This":[95],"combines":[97],"dependent":[98],"types":[99],"with":[100],"constructs":[101],"computation,":[104],"provides":[106],"security-type":[108],"system":[109],"ensures":[111],"adversaries":[113],"learn":[115],"nothing":[116],"more":[117],"than":[118],"result":[120],"computation.":[123],"Using":[124],"language,":[126],"authors":[127],"write":[129],"single":[131],"function":[132],"then":[137],"easily":[138],"build":[139],"an":[140],"equivalent":[141],"according":[144],"desired":[147],"public":[148],"view":[149],"their":[151],"data.":[152]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}