{"id":"https://openalex.org/W3145555275","doi":"https://doi.org/10.1145/2103656.2103670","title":"Probabilistic relational reasoning for differential privacy","display_name":"Probabilistic relational reasoning for differential privacy","publication_year":2012,"publication_date":"2012-01-24","ids":{"openalex":"https://openalex.org/W3145555275","doi":"https://doi.org/10.1145/2103656.2103670","mag":"3145555275"},"language":"en","primary_location":{"id":"doi:10.1145/2103656.2103670","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2103656.2103670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085729110","display_name":"Boris K\u00f6pf","orcid":"https://orcid.org/0009-0005-8004-0743"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Boris K\u00f6pf","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009421242","display_name":"Federico Olmedo","orcid":"https://orcid.org/0000-0003-0217-6483"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Federico Olmedo","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088954009","display_name":"Santiago Zanella-B\u00e9guelin","orcid":"https://orcid.org/0000-0003-0479-9967"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Santiago Zanella B\u00e9guelin","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075577852"],"corresponding_institution_ids":["https://openalex.org/I4210162154"],"apc_list":null,"apc_paid":null,"fwci":15.0323,"has_fulltext":false,"cited_by_count":100,"citation_normalized_percentile":{"value":0.99079062,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"97","last_page":"110"},"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.9968000054359436,"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.9900000095367432,"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/differential-privacy","display_name":"Differential privacy","score":0.9629583358764648},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8001812100410461},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6479805111885071},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.6294710636138916},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5605190992355347},{"id":"https://openalex.org/keywords/privacy-software","display_name":"Privacy software","score":0.4906874895095825},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.47782304883003235},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.4399799704551697},{"id":"https://openalex.org/keywords/information-privacy","display_name":"Information privacy","score":0.4276590943336487},{"id":"https://openalex.org/keywords/privacy-protection","display_name":"Privacy protection","score":0.42353859543800354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3518139123916626},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3378661274909973},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.24728259444236755},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2205866277217865}],"concepts":[{"id":"https://openalex.org/C23130292","wikidata":"https://www.wikidata.org/wiki/Q5275358","display_name":"Differential privacy","level":2,"score":0.9629583358764648},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8001812100410461},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6479805111885071},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.6294710636138916},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5605190992355347},{"id":"https://openalex.org/C509729295","wikidata":"https://www.wikidata.org/wiki/Q7246032","display_name":"Privacy software","level":3,"score":0.4906874895095825},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.47782304883003235},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.4399799704551697},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.4276590943336487},{"id":"https://openalex.org/C3017597292","wikidata":"https://www.wikidata.org/wiki/Q25052250","display_name":"Privacy protection","level":2,"score":0.42353859543800354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3518139123916626},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3378661274909973},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.24728259444236755},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2205866277217865},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2103656.2103670","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2103656.2103670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7599999904632568,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W45828277","https://openalex.org/W192814132","https://openalex.org/W1493407996","https://openalex.org/W1557833142","https://openalex.org/W1597181838","https://openalex.org/W1668939463","https://openalex.org/W1872473787","https://openalex.org/W1873763122","https://openalex.org/W1993116423","https://openalex.org/W2011086847","https://openalex.org/W2050509196","https://openalex.org/W2054922243","https://openalex.org/W2074503439","https://openalex.org/W2077217970","https://openalex.org/W2096870293","https://openalex.org/W2097061283","https://openalex.org/W2107220315","https://openalex.org/W2108886305","https://openalex.org/W2109426455","https://openalex.org/W2113081700","https://openalex.org/W2123991163","https://openalex.org/W2131628270","https://openalex.org/W2136052444","https://openalex.org/W2139799388","https://openalex.org/W2147436337","https://openalex.org/W2149996206","https://openalex.org/W2154231274","https://openalex.org/W2154711640","https://openalex.org/W2167606175","https://openalex.org/W2168686464","https://openalex.org/W2177254373","https://openalex.org/W2571169473","https://openalex.org/W2911978475","https://openalex.org/W3039999392","https://openalex.org/W4210631930","https://openalex.org/W6607754154","https://openalex.org/W6653798054"],"related_works":["https://openalex.org/W3022534164","https://openalex.org/W2116878667","https://openalex.org/W4396832952","https://openalex.org/W3015944045","https://openalex.org/W3013058036","https://openalex.org/W2769903624","https://openalex.org/W4225340788","https://openalex.org/W1591172238","https://openalex.org/W2951971312","https://openalex.org/W2972172135"],"abstract_inverted_index":{"Differential":[0],"privacy":[1,10,23,60,79,93,105],"is":[2,28],"a":[3,29],"notion":[4],"of":[5,11,57,106],"confidentiality":[6],"that":[7,34,63,73,82,90],"protects":[8],"the":[9,84,104],"individuals":[12],"while":[13],"allowing":[14],"useful":[15],"computations":[16],"on":[17,44],"their":[18],"private":[19],"data.":[20],"Deriving":[21],"differential":[22,78,92],"guarantees":[24],"for":[25,36,75,101],"real":[26],"programs":[27,58,72,81,89,108],"difficult":[30],"and":[31,39,47,87],"error-prone":[32],"task":[33],"calls":[35],"principled":[37],"approaches":[38],"tool":[40],"support.":[41],"Approaches":[42],"based":[43],"linear":[45],"types":[46],"static":[48],"analysis":[49],"have":[50],"recently":[51],"emerged;":[52],"however,":[53],"an":[54,111],"increasing":[55],"number":[56],"achieve":[59,91],"using":[61,95],"techniques":[62],"cannot":[64],"be":[65],"analyzed":[66],"by":[67],"these":[68],"approaches.":[69],"Examples":[70],"include":[71],"aim":[74],"weaker,":[76],"approximate":[77],"guarantees,":[80],"use":[83],"Exponential":[85],"mechanism,":[86],"randomized":[88],"without":[94],"any":[96],"standard":[97],"mechanism.":[98],"Providing":[99],"support":[100],"reasoning":[102],"about":[103],"such":[107],"has":[109],"been":[110],"open":[112],"problem.":[113]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":14},{"year":2012,"cited_by_count":7}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}