{"id":"https://openalex.org/W4416069216","doi":"https://doi.org/10.1145/3719027.3765043","title":"Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions","display_name":"Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions","publication_year":2025,"publication_date":"2025-11-19","ids":{"openalex":"https://openalex.org/W4416069216","doi":"https://doi.org/10.1145/3719027.3765043"},"language":"en","primary_location":{"id":"doi:10.1145/3719027.3765043","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3719027.3765043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2509.08804","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092885542","display_name":"Bishnu Bhusal","orcid":"https://orcid.org/0000-0001-7522-5878"},"institutions":[{"id":"https://openalex.org/I76835614","display_name":"University of Missouri","ror":"https://ror.org/02ymw8z06","country_code":"US","type":"education","lineage":["https://openalex.org/I76835614"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bishnu Bhusal","raw_affiliation_strings":["University of Missouri, Columbia, MO, USA"],"raw_orcid":"https://orcid.org/0000-0001-7522-5878","affiliations":[{"raw_affiliation_string":"University of Missouri, Columbia, MO, USA","institution_ids":["https://openalex.org/I76835614"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068396440","display_name":"Rohit Chadha","orcid":"https://orcid.org/0000-0002-1674-1650"},"institutions":[{"id":"https://openalex.org/I76835614","display_name":"University of Missouri","ror":"https://ror.org/02ymw8z06","country_code":"US","type":"education","lineage":["https://openalex.org/I76835614"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rohit Chadha","raw_affiliation_strings":["University of Missouri, Columbia, MO, USA"],"raw_orcid":"https://orcid.org/0000-0002-1674-1650","affiliations":[{"raw_affiliation_string":"University of Missouri, Columbia, MO, USA","institution_ids":["https://openalex.org/I76835614"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035821371","display_name":"A. Prasad Sistla","orcid":"https://orcid.org/0009-0005-8331-7912"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Prasad Sistla","raw_affiliation_strings":["University of Illinois at Chicago, Chicago, IL, USA"],"raw_orcid":"https://orcid.org/0009-0005-8331-7912","affiliations":[{"raw_affiliation_string":"University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahesh Viswanathan","raw_affiliation_strings":["University of Illinois Urbana-Champaign, Urbana, IL, USA"],"raw_orcid":"https://orcid.org/0000-0001-7977-0080","affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31237152,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1439","last_page":"1453"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.8154000043869019,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.8154000043869019,"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.020899999886751175,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.020899999886751175,"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/gaussian","display_name":"Gaussian","score":0.6650999784469604},{"id":"https://openalex.org/keywords/differential-privacy","display_name":"Differential privacy","score":0.6273000240325928},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.5647000074386597},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.46860000491142273},{"id":"https://openalex.org/keywords/probability-density-function","display_name":"Probability density function","score":0.4237000048160553},{"id":"https://openalex.org/keywords/distribution","display_name":"Distribution (mathematics)","score":0.3497999906539917}],"concepts":[{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.6650999784469604},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6381999850273132},{"id":"https://openalex.org/C23130292","wikidata":"https://www.wikidata.org/wiki/Q5275358","display_name":"Differential privacy","level":2,"score":0.6273000240325928},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.5647000074386597},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5252000093460083},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.46860000491142273},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43639999628067017},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42750000953674316},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.4237000048160553},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3409999907016754},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.3296999931335449},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2824000120162964}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3719027.3765043","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3719027.3765043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2509.08804","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.08804","pdf_url":"https://arxiv.org/pdf/2509.08804","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2509.08804","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.08804","pdf_url":"https://arxiv.org/pdf/2509.08804","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3715539594","display_name":"SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms","funder_award_id":"1900924","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1668939463","https://openalex.org/W2027575605","https://openalex.org/W2071592032","https://openalex.org/W2091015169","https://openalex.org/W2096870293","https://openalex.org/W2345464423","https://openalex.org/W2462334487","https://openalex.org/W2754729435","https://openalex.org/W2886153332","https://openalex.org/W2899277098","https://openalex.org/W2925599298","https://openalex.org/W2963506795","https://openalex.org/W2965219905","https://openalex.org/W3049525043","https://openalex.org/W4205228770","https://openalex.org/W4312414273","https://openalex.org/W4404781492","https://openalex.org/W4406257889","https://openalex.org/W4409311215","https://openalex.org/W7077948308"],"related_works":[],"abstract_inverted_index":{"The":[0,99],"verification":[1,80],"of":[2,18,31,71,133],"differential":[3],"privacy":[4,56,147],"algorithms":[5],"that":[6,34,53],"employ":[7],"Gaussian":[8,48,131],"distributions":[9,30,41],"is":[10,60,66,82],"little":[11],"understood.":[12],"This":[13],"paper":[14],"tackles":[15],"the":[16,64,105,109,134],"challenge":[17],"verifying":[19,54],"such":[20,129],"programs":[21,33,59],"by":[22,91],"introducing":[23],"a":[24,76],"novel":[25],"approach":[26],"to":[27,87,119],"approximating":[28],"probability":[29,44,97],"loop-free":[32],"sample":[35],"from":[36],"both":[37,145],"discrete":[38],"and":[39,49,95,116,138,149],"continuous":[40],"with":[42],"computable":[43],"density":[45],"functions,":[46],"including":[47],"Laplace.":[50],"We":[51,122],"establish":[52],"$(\u03b5,\u03b4)$-differential":[55],"for":[57,68,112],"these":[58],"\\emph{almost":[61],"decidable},":[62],"meaning":[63],"problem":[65],"decidable":[67],"all":[69],"values":[70],"$\u03b4$":[72],"except":[73],"those":[74],"in":[75,104,144],"finite":[77],"set.":[78],"Our":[79],"algorithm":[81],"based":[83],"on":[84,125],"computing":[85],"probabilities":[86],"any":[88],"desired":[89],"precision":[90],"combining":[92],"integral":[93,114],"approximations,":[94],"tail":[96],"bounds.":[98],"proposed":[100],"methods":[101],"are":[102],"implemented":[103],"tool,":[106],"DipApprox,":[107],"using":[108],"FLINT":[110],"library":[111],"high-precision":[113],"computations,":[115],"incorporate":[117],"optimizations":[118],"enhance":[120],"scalability.":[121],"validate":[123],"{\\ourtool}":[124],"fundamental":[126],"privacy-preserving":[127],"algorithms,":[128],"as":[130],"variants":[132],"Sparse":[135],"Vector":[136],"Technique":[137],"Noisy":[139],"Max,":[140],"demonstrating":[141],"its":[142],"effectiveness":[143],"confirming":[146],"guarantees":[148],"detecting":[150],"violations.":[151]},"counts_by_year":[],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}