{"id":"https://openalex.org/W4379536458","doi":"https://doi.org/10.1145/3591231","title":"Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation","display_name":"Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation","publication_year":2023,"publication_date":"2023-06-06","ids":{"openalex":"https://openalex.org/W4379536458","doi":"https://doi.org/10.1145/3591231"},"language":"en","primary_location":{"id":"doi:10.1145/3591231","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3591231","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3591231","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":null,"license_id":null,"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/3591231","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092102410","display_name":"Shamiek Mangipudi","orcid":"https://orcid.org/0000-0002-9510-7665"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Shamiek Mangipudi","raw_affiliation_strings":["USI Lugano, Switzerland"],"affiliations":[{"raw_affiliation_string":"USI Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033247681","display_name":"Pavel Chuprikov","orcid":"https://orcid.org/0000-0002-6673-1143"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Pavel Chuprikov","raw_affiliation_strings":["USI Lugano, Switzerland"],"affiliations":[{"raw_affiliation_string":"USI Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024420075","display_name":"Patrick Eugster","orcid":"https://orcid.org/0000-0003-3864-9078"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Patrick Eugster","raw_affiliation_strings":["USI Lugano, Switzerland"],"affiliations":[{"raw_affiliation_string":"USI Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031513956","display_name":"Malte Viering","orcid":"https://orcid.org/0000-0002-4466-6299"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte Viering","raw_affiliation_strings":["TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030389875","display_name":"Savvas Savvides","orcid":"https://orcid.org/0000-0002-2971-0933"},"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":"Savvas Savvides","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5092102410"],"corresponding_institution_ids":["https://openalex.org/I57201433"],"apc_list":null,"apc_paid":null,"fwci":0.5245,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7008711,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"PLDI","first_page":"267","last_page":"291"},"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.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/T11424","display_name":"Security and Verification in Computing","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/T10237","display_name":"Cryptography and Data Security","score":0.9997000098228455,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8730641603469849},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.8165537118911743},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6175292730331421},{"id":"https://openalex.org/keywords/homomorphic-encryption","display_name":"Homomorphic encryption","score":0.5817793011665344},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5203416347503662},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5152647495269775},{"id":"https://openalex.org/keywords/analytics","display_name":"Analytics","score":0.46005767583847046},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4173375964164734},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2516378164291382},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07964354753494263}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8730641603469849},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.8165537118911743},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6175292730331421},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.5817793011665344},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5203416347503662},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5152647495269775},{"id":"https://openalex.org/C79158427","wikidata":"https://www.wikidata.org/wiki/Q485396","display_name":"Analytics","level":2,"score":0.46005767583847046},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4173375964164734},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2516378164291382},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07964354753494263}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3591231","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3591231","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3591231","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":null,"license_id":null,"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/3591231","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3591231","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3591231","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":null,"license_id":null,"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":[{"display_name":"Peace, Justice and strong institutions","score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4379536458.pdf","grobid_xml":"https://content.openalex.org/works/W4379536458.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W1545038039","https://openalex.org/W1569778844","https://openalex.org/W1739542898","https://openalex.org/W1934456451","https://openalex.org/W1957951093","https://openalex.org/W1967182706","https://openalex.org/W1977764760","https://openalex.org/W2005421574","https://openalex.org/W2005756274","https://openalex.org/W2007002790","https://openalex.org/W2007999111","https://openalex.org/W2031533839","https://openalex.org/W2038412523","https://openalex.org/W2040669676","https://openalex.org/W2048525559","https://openalex.org/W2071825329","https://openalex.org/W2094873755","https://openalex.org/W2102749424","https://openalex.org/W2108834246","https://openalex.org/W2129278597","https://openalex.org/W2132172731","https://openalex.org/W2136025860","https://openalex.org/W2136720346","https://openalex.org/W2250570571","https://openalex.org/W2517917021","https://openalex.org/W2539012550","https://openalex.org/W2624409104","https://openalex.org/W2752155394","https://openalex.org/W2760067944","https://openalex.org/W2762625979","https://openalex.org/W2765489369","https://openalex.org/W2766853406","https://openalex.org/W2796922130","https://openalex.org/W2900152012","https://openalex.org/W2946452487","https://openalex.org/W2956520306","https://openalex.org/W2964138909","https://openalex.org/W2981645102","https://openalex.org/W3001001866","https://openalex.org/W3020850631","https://openalex.org/W3094454531","https://openalex.org/W3105175523","https://openalex.org/W3125174003","https://openalex.org/W3137092842","https://openalex.org/W3139430581","https://openalex.org/W3156365240","https://openalex.org/W3158843495","https://openalex.org/W3172834714","https://openalex.org/W4205228770","https://openalex.org/W4206485129","https://openalex.org/W4248861293","https://openalex.org/W4379536458"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W1531601525","https://openalex.org/W2539930818"],"abstract_inverted_index":{"As":[0],"more":[1],"organizations":[2],"are":[3,143,184],"leveraging":[4],"third-party":[5],"cloud":[6],"and":[7,32,53,67,78,140,226],"edge":[8],"data":[9,13,19,87,98,205],"centers":[10],"to":[11,75,95,129,168,186,190,215],"process":[12],"efficiently,":[14],"the":[15,81,110,187,216,223],"issue":[16],"of":[17,112,150,165,181,229],"preserving":[18,202],"confidentiality":[20,121,133,203],"becomes":[21],"increasingly":[22],"important.":[23],"In":[24],"response,":[25],"numerous":[26],"security":[27,62,114,151,171],"mechanisms":[28,58,139,193,235],"have":[29],"been":[30],"introduced":[31],"promoted":[33],"in":[34,60,127,176,194,204,238],"recent":[35],"years":[36],"including":[37,237],"software-based":[38],"ones":[39,48],"such":[40,49],"as":[41,44,46,50,212],"homomorphic":[42],"encryption,":[43],"well":[45],"hardware-based":[47],"Intel":[51],"SGX":[52],"AMD":[54],"SEV.":[55],"However":[56],"these":[57,141],"vary":[59],"their":[61],"properties,":[63],"performance":[64,227],"characteristics,":[65],"availability,":[66],"application":[68],"modalities,":[69],"making":[70],"it":[71],"hard":[72],"for":[73,84],"programmers":[74],"judiciously":[76],"choose":[77],"correctly":[79],"employ":[80],"right":[82],"one":[83],"a":[85,92,104,125,146,157,162,177],"given":[86],"query.":[88],"This":[89],"paper":[90],"presents":[91],"mechanism-independent":[93],"approach":[94,101,211,231],"distributed":[96],"confidentiality-preserving":[97],"analytics.":[99],"Our":[100],"hinges":[102],"on":[103,161,244],"core":[105],"programming":[106],"language":[107,183,189],"which":[108],"abstracts":[109],"intricacies":[111],"individual":[113],"mechanisms.":[115],"Data":[116],"is":[117,154],"labeled":[118],"using":[119],"custom":[120],"levels":[122],"arranged":[123],"along":[124],"lattice":[126],"order":[128],"capture":[130],"its":[131],"exact":[132],"constraints.":[134],"High-level":[135],"mappings":[136],"between":[137],"available":[138],"labels":[142],"captured":[144],"through":[145,156],"novel":[147,163],"expressive":[148],"form":[149],"policy.":[152],"Confidentiality":[153],"guaranteed":[155],"type":[158],"system":[159],"based":[160],"formulation":[164],"noninterference,":[166],"generalized":[167],"support":[169],"our":[170,182,210,230],"policy":[172],"definition.":[173],"Queries":[174],"written":[175],"largely":[178],"security-agnostic":[179],"subset":[180],"transformed":[185],"full":[188],"automatically":[191],"use":[192],"an":[195,213],"efficient,":[196],"possibly":[197],"combined":[198],"manner,":[199],"while":[200],"provably":[201],"queries":[206],"end-to-end.":[207],"We":[208],"prototype":[209],"extension":[214],"popular":[217],"Apache":[218],"Spark":[219],"analytics":[220],"engine,":[221],"demonstrating":[222],"significant":[224],"versatility":[225],"benefits":[228],"over":[232],"single":[233],"hardwired":[234],"---":[236,241],"existing":[239],"systems":[240],"without":[242],"compromising":[243],"confidentiality.":[245]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}