{"id":"https://openalex.org/W3150939926","doi":"https://doi.org/10.1007/978-3-030-72019-3_8","title":"Coupled Relational Symbolic Execution for Differential Privacy","display_name":"Coupled Relational Symbolic Execution for Differential Privacy","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3150939926","doi":"https://doi.org/10.1007/978-3-030-72019-3_8","mag":"3150939926"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-72019-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72019-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045248140","display_name":"Gian Pietro Farina","orcid":null},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gian Pietro Farina","raw_affiliation_strings":["University at Buffalo SUNY, Buffalo, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University at Buffalo SUNY, Buffalo, USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046383149","display_name":"Stephen Chong","orcid":"https://orcid.org/0000-0002-6734-5383"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Chong","raw_affiliation_strings":["Harvard University, Cambridge, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I2801851002"]}]},{"author_position":"last","author":{"id":null,"display_name":"Marco Gaboardi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marco Gaboardi","raw_affiliation_strings":["Boston University, Boston, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.1546,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.88785143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"207","last_page":"233"},"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.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/T10764","display_name":"Privacy-Preserving Technologies in Data","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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9934999942779541,"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/T10927","display_name":"Access Control and Trust","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/differential-privacy","display_name":"Differential privacy","score":0.9377260804176331},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.780609130859375},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7454718351364136},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6251042485237122},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.6010133028030396},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5511434078216553},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.5176723003387451},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.46443304419517517},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36388063430786133},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32091522216796875},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.20361918210983276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14097508788108826},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12345650792121887},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11538097262382507}],"concepts":[{"id":"https://openalex.org/C23130292","wikidata":"https://www.wikidata.org/wiki/Q5275358","display_name":"Differential privacy","level":2,"score":0.9377260804176331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.780609130859375},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7454718351364136},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6251042485237122},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6010133028030396},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5511434078216553},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.5176723003387451},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.46443304419517517},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36388063430786133},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32091522216796875},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.20361918210983276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14097508788108826},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12345650792121887},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11538097262382507},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-72019-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72019-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pubmedcentral.nih.gov:7984557","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7984557","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Programming Languages and Systems","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-72019-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72019-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G471576928","display_name":"TWC: Large: Collaborative: Computing Over Distributed Sensitive Data","funder_award_id":"2040215","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6119122855","display_name":null,"funder_award_id":"1565365","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":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3150939926.pdf","grobid_xml":"https://content.openalex.org/works/W3150939926.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W55681943","https://openalex.org/W1668939463","https://openalex.org/W1873763122","https://openalex.org/W2013823004","https://openalex.org/W2040669676","https://openalex.org/W2042946599","https://openalex.org/W2097061283","https://openalex.org/W2100877271","https://openalex.org/W2295961883","https://openalex.org/W2565203757","https://openalex.org/W2754729435","https://openalex.org/W2886153332","https://openalex.org/W2889785340","https://openalex.org/W2897540200","https://openalex.org/W2925599298","https://openalex.org/W2963506795","https://openalex.org/W2964546016","https://openalex.org/W2975856493","https://openalex.org/W2980019266","https://openalex.org/W2997599371","https://openalex.org/W2998028765","https://openalex.org/W3009518942","https://openalex.org/W3013397595","https://openalex.org/W3016856519","https://openalex.org/W3029173733","https://openalex.org/W3044764561","https://openalex.org/W3049525043","https://openalex.org/W3090464902","https://openalex.org/W3098424123","https://openalex.org/W3098696637","https://openalex.org/W3100637409","https://openalex.org/W3102997142","https://openalex.org/W3104035686","https://openalex.org/W3108844536","https://openalex.org/W3123629616"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W2049783774","https://openalex.org/W1994175791","https://openalex.org/W2624451057","https://openalex.org/W3150939926","https://openalex.org/W4287705205"],"abstract_inverted_index":{"Abstract":[0],"Differential":[1],"privacy":[2,10,26],"is":[3,40,86],"a":[4,30,73,87,120,131],"de":[5],"facto":[6],"standard":[7],"in":[8,13,57,63],"data":[9],"with":[11],"applications":[12],"the":[14,21],"private":[15,61],"and":[16,42,95,156],"public":[17],"sectors.":[18],"Most":[19],"of":[20,33,99,142],"techniques":[22,49],"that":[23,134],"achieve":[24,115],"differential":[25,82,112,143,160],"are":[27],"based":[28,75],"on":[29,76],"judicious":[31],"use":[32,103],"randomness.":[34],"However,":[35],"reasoning":[36,80,127],"about":[37,81,128],"randomized":[38],"programs":[39,59],"difficult":[41],"error":[43],"prone.":[44],"For":[45],"this":[46,69,116],"reason,":[47],"several":[48],"have":[50],"been":[51,136],"recently":[52],"proposed":[53],"to":[54,66,96,106,139,153,159],"support":[55,107],"designer":[56],"proving":[58],"differentially":[60],"or":[62],"finding":[64],"violations":[65,158],"it.":[67],"In":[68],"work":[70],"we":[71,102,118],"propose":[72],"technique":[74,89,124,149],"symbolic":[77,104,122],"execution":[78,85,105,123],"for":[79,91,111],"privacy.":[83,113,144,161],"Symbolic":[84],"classic":[88],"used":[90,152],"testing,":[92],"counterexample":[93],"generation":[94],"prove":[97],"absence":[98],"bugs.":[100],"Here":[101],"these":[108],"tasks":[109],"specifically":[110],"To":[114],"goal,":[117],"design":[119],"relational":[121],"which":[125],"supports":[126],"probabilistic":[129],"coupling,":[130],"formal":[132],"notion":[133],"has":[135],"shown":[137],"useful":[138],"structure":[140],"proofs":[141],"We":[145],"show":[146],"how":[147],"our":[148],"can":[150],"be":[151],"both":[154],"verify":[155],"find":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}