{"id":"https://openalex.org/W4388867319","doi":"https://doi.org/10.1145/3576915.3623170","title":"Deciding Differential Privacy of Online Algorithms with Multiple Variables","display_name":"Deciding Differential Privacy of Online Algorithms with Multiple Variables","publication_year":2023,"publication_date":"2023-11-15","ids":{"openalex":"https://openalex.org/W4388867319","doi":"https://doi.org/10.1145/3576915.3623170"},"language":"en","primary_location":{"id":"doi:10.1145/3576915.3623170","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3576915.3623170","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623170","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623170","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","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":"middle","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 at Urbana-Champaign, Urbana, IL, USA"],"raw_orcid":"https://orcid.org/0000-0001-7977-0080","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0789,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80166151,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1761","last_page":"1775"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":1.0,"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":1.0,"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.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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9970999956130981,"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/timed-automaton","display_name":"Timed automaton","score":0.7749972343444824},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6881914138793945},{"id":"https://openalex.org/keywords/two-way-deterministic-finite-automaton","display_name":"Two-way deterministic finite automaton","score":0.6422699093818665},{"id":"https://openalex.org/keywords/differential-privacy","display_name":"Differential privacy","score":0.6322351694107056},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.60236656665802},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.552944540977478},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5406202673912048},{"id":"https://openalex.org/keywords/continuous-automaton","display_name":"Continuous automaton","score":0.49973082542419434},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.49160701036453247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48670271039009094},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.45915642380714417},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41543465852737427},{"id":"https://openalex.org/keywords/mobile-automaton","display_name":"Mobile automaton","score":0.28978291153907776},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.25894609093666077},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.23548021912574768},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11369773745536804}],"concepts":[{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.7749972343444824},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6881914138793945},{"id":"https://openalex.org/C139423837","wikidata":"https://www.wikidata.org/wiki/Q243800","display_name":"Two-way deterministic finite automaton","level":5,"score":0.6422699093818665},{"id":"https://openalex.org/C23130292","wikidata":"https://www.wikidata.org/wiki/Q5275358","display_name":"Differential privacy","level":2,"score":0.6322351694107056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60236656665802},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.552944540977478},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5406202673912048},{"id":"https://openalex.org/C21720249","wikidata":"https://www.wikidata.org/wiki/Q5165460","display_name":"Continuous automaton","level":5,"score":0.49973082542419434},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.49160701036453247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48670271039009094},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.45915642380714417},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41543465852737427},{"id":"https://openalex.org/C50348692","wikidata":"https://www.wikidata.org/wiki/Q6887056","display_name":"Mobile automaton","level":4,"score":0.28978291153907776},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.25894609093666077},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.23548021912574768},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11369773745536804}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3576915.3623170","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3576915.3623170","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623170","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3576915.3623170","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3576915.3623170","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623170","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/16"}],"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"},{"id":"https://openalex.org/G3726224021","display_name":"SHF: Small: New Algorithmic Paradigms in Dynamic Analysis of Multithreaded Software","funder_award_id":"2007428","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5214072062","display_name":"SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms","funder_award_id":"1901069","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G655722081","display_name":"CAREER: Automated Analysis of Security Hyperproperties","funder_award_id":"1553548","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388867319.pdf","grobid_xml":"https://content.openalex.org/works/W4388867319.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1668939463","https://openalex.org/W1873763122","https://openalex.org/W2027193703","https://openalex.org/W2091015169","https://openalex.org/W2295961883","https://openalex.org/W2462334487","https://openalex.org/W2565203757","https://openalex.org/W2754729435","https://openalex.org/W2886153332","https://openalex.org/W2925599298","https://openalex.org/W2963506795","https://openalex.org/W3049525043","https://openalex.org/W3098696637","https://openalex.org/W3102997142","https://openalex.org/W3104035686","https://openalex.org/W3104159150","https://openalex.org/W3123629616","https://openalex.org/W4205228770","https://openalex.org/W4312414273","https://openalex.org/W4388867319","https://openalex.org/W6657138077","https://openalex.org/W6931722690"],"related_works":["https://openalex.org/W2026879508","https://openalex.org/W2155870982","https://openalex.org/W2522171317","https://openalex.org/W2042728676","https://openalex.org/W186350370","https://openalex.org/W325265439","https://openalex.org/W2321527407","https://openalex.org/W1503739124","https://openalex.org/W169221855","https://openalex.org/W2949259285"],"abstract_inverted_index":{"We":[0,87,101],"consider":[1],"the":[2,6,57,75,93,104,129],"problem":[3,105],"of":[4,9,17,83,92,95,106],"checking":[5],"differential":[7],"privacy":[8,58],"online":[10],"randomized":[11],"algorithms":[12,39],"that":[13,103],"process":[14],"a":[15,50,89,109,124],"stream":[16],"inputs":[18],"and":[19,140],"produce":[20],"outputs":[21],"corresponding":[22],"to":[23,36,67,114],"each":[24],"input.":[25],"This":[26],"paper":[27],"generalizes":[28],"an":[29],"automaton":[30,48,52,62,76,112,131],"model":[31],"called":[32],"DiP":[33,47,99,111],"automata":[34],"[10]":[35],"describe":[37],"such":[38],"by":[40],"allowing":[41],"multiple":[42],"real-valued":[43],"storage":[44],"variables.":[45],"A":[46,63],"is":[49,77,117,132],"parametric":[51],"whose":[53],"behavior":[54],"depends":[55],"on":[56],"budget":[59],"\u2208.":[60],"An":[61],"will":[64],"be":[65,68],"said":[66],"differentially":[69,97,133],"private":[70,79,98],"if,":[71],"for":[72,80,126],"some":[73],"D,":[74],"D\u2208-differentially":[78],"all":[81,96],"values":[82],"\u2208":[84],">":[85],"0.":[86],"identify":[88],"precise":[90],"characterization":[91],"class":[94,116],"automata.":[100],"show":[102],"determining":[107],"if":[108],"given":[110,130],"belongs":[113],"this":[115],"PSPACE-complete.":[118],"Our":[119],"PSPACE":[120],"algorithm":[121,136],"also":[122],"computes":[123],"value":[125],"D":[127],"when":[128],"private.":[134],"The":[135],"has":[137],"been":[138],"implemented,":[139],"experiments":[141],"demonstrating":[142],"its":[143],"effectiveness":[144],"are":[145],"presented.":[146]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}