{"id":"https://openalex.org/W2788707429","doi":"https://doi.org/10.1007/978-3-319-89722-6_1","title":"What\u2019s the Over/Under? Probabilistic Bounds on Information Leakage","display_name":"What\u2019s the Over/Under? Probabilistic Bounds on Information Leakage","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2788707429","doi":"https://doi.org/10.1007/978-3-319-89722-6_1","mag":"2788707429"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89722-6_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89722-6_1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89722-6_1.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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89722-6_1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014629620","display_name":"Ian Sweet","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ian Sweet","raw_affiliation_strings":["University of Maryland, College Park, USA","Univ. of Maryland,#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Univ. of Maryland,#TAB#","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023739244","display_name":"Jos\u00e9 Manuel Calder\u00f3n Trilla","orcid":null},"institutions":[{"id":"https://openalex.org/I4210140281","display_name":"Galois (United States)","ror":"https://ror.org/03g8y8161","country_code":"US","type":"company","lineage":["https://openalex.org/I4210140281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Manuel Calder\u00f3n Trilla","raw_affiliation_strings":["Galois Inc., Portland, USA","Galois Inc"],"affiliations":[{"raw_affiliation_string":"Galois Inc., Portland, USA","institution_ids":["https://openalex.org/I4210140281"]},{"raw_affiliation_string":"Galois Inc","institution_ids":["https://openalex.org/I4210140281"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chad Scherrer","orcid":null},"institutions":[{"id":"https://openalex.org/I4210140281","display_name":"Galois (United States)","ror":"https://ror.org/03g8y8161","country_code":"US","type":"company","lineage":["https://openalex.org/I4210140281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chad Scherrer","raw_affiliation_strings":["Galois Inc., Portland, USA","Galois Inc"],"affiliations":[{"raw_affiliation_string":"Galois Inc., Portland, USA","institution_ids":["https://openalex.org/I4210140281"]},{"raw_affiliation_string":"Galois Inc","institution_ids":["https://openalex.org/I4210140281"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046625836","display_name":"Michael Hicks","orcid":"https://orcid.org/0000-0002-2759-9223"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Hicks","raw_affiliation_strings":["University of Maryland, College Park, USA","Univ. of Maryland,#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Univ. of Maryland,#TAB#","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012433957","display_name":"S. Magill","orcid":"https://orcid.org/0000-0001-5621-9819"},"institutions":[{"id":"https://openalex.org/I4210140281","display_name":"Galois (United States)","ror":"https://ror.org/03g8y8161","country_code":"US","type":"company","lineage":["https://openalex.org/I4210140281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Magill","raw_affiliation_strings":["Galois Inc., Portland, USA","Galois Inc"],"affiliations":[{"raw_affiliation_string":"Galois Inc., Portland, USA","institution_ids":["https://openalex.org/I4210140281"]},{"raw_affiliation_string":"Galois Inc","institution_ids":["https://openalex.org/I4210140281"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5014629620"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.2715,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.5158117,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"27"},"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.9973999857902527,"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.9973999857902527,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9837999939918518,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/scalability","display_name":"Scalability","score":0.7784148454666138},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7549483776092529},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7539246082305908},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.6785352230072021},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5928217768669128},{"id":"https://openalex.org/keywords/information-leakage","display_name":"Information leakage","score":0.5561037063598633},{"id":"https://openalex.org/keywords/leakage","display_name":"Leakage (economics)","score":0.5107488632202148},{"id":"https://openalex.org/keywords/polyhedron","display_name":"Polyhedron","score":0.5068255066871643},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.4295156002044678},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.41850265860557556},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4154992997646332},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3232027590274811},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20618808269500732},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1484585404396057},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12790587544441223},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11743736267089844}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7784148454666138},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7549483776092529},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7539246082305908},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.6785352230072021},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5928217768669128},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.5561037063598633},{"id":"https://openalex.org/C2777042071","wikidata":"https://www.wikidata.org/wiki/Q6509304","display_name":"Leakage (economics)","level":2,"score":0.5107488632202148},{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.5068255066871643},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.4295156002044678},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41850265860557556},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4154992997646332},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3232027590274811},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20618808269500732},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1484585404396057},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12790587544441223},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11743736267089844},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-319-89722-6_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89722-6_1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89722-6_1.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:arXiv.org:1802.08234","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1802.08234","pdf_url":"https://arxiv.org/pdf/1802.08234","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},{"id":"mag:2788707429","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/1802.08234.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1802.08234","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1802.08234","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89722-6_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89722-6_1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89722-6_1.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","display_name":"Peace, Justice and strong institutions","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2788707429.pdf","grobid_xml":"https://content.openalex.org/works/W2788707429.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W68429094","https://openalex.org/W88990729","https://openalex.org/W98374482","https://openalex.org/W1558356971","https://openalex.org/W1688932025","https://openalex.org/W1987983106","https://openalex.org/W1995875735","https://openalex.org/W2009489720","https://openalex.org/W2010298731","https://openalex.org/W2043100293","https://openalex.org/W2048025009","https://openalex.org/W2062873592","https://openalex.org/W2088409631","https://openalex.org/W2097151854","https://openalex.org/W2098294295","https://openalex.org/W2108104925","https://openalex.org/W2109510636","https://openalex.org/W2110839939","https://openalex.org/W2119966192","https://openalex.org/W2120901006","https://openalex.org/W2123097583","https://openalex.org/W2126908237","https://openalex.org/W2132661148","https://openalex.org/W2135289568","https://openalex.org/W2135394066","https://openalex.org/W2144992712","https://openalex.org/W2216916698","https://openalex.org/W2295266283","https://openalex.org/W2395654200","https://openalex.org/W2494200839","https://openalex.org/W2604653582","https://openalex.org/W2611597182","https://openalex.org/W2615497679","https://openalex.org/W2766048142","https://openalex.org/W2963412458"],"related_works":["https://openalex.org/W2963342273","https://openalex.org/W3162883552","https://openalex.org/W2396309311","https://openalex.org/W2157615354","https://openalex.org/W3101159418","https://openalex.org/W2739906306","https://openalex.org/W1544444892","https://openalex.org/W2953141221","https://openalex.org/W3030965103","https://openalex.org/W2769381239","https://openalex.org/W3158156290","https://openalex.org/W2808950537","https://openalex.org/W2996820182","https://openalex.org/W3210897672","https://openalex.org/W3032627613","https://openalex.org/W3211888776","https://openalex.org/W3106239435","https://openalex.org/W2149666876","https://openalex.org/W2786176077","https://openalex.org/W3000710917"],"abstract_inverted_index":{"Quantitative":[0],"information":[1],"flow":[2],"(QIF)":[3],"is":[4,13,105],"concerned":[5],"with":[6,39,89,123],"measuring":[7],"how":[8,78],"much":[9],"of":[10,22,50,118,125],"a":[11,23,51,101],"secret":[12],"leaked":[14],"to":[15,45,54,79],"an":[16],"adversary":[17],"who":[18],"observes":[19],"the":[20,47,81,86,116,119],"result":[21],"computation":[24],"that":[25,32,57,96,112],"uses":[26],"it.":[27],"Prior":[28],"work":[29],"has":[30],"shown":[31],"QIF":[33],"techniques":[34],"based":[35],"on":[36],"abstract":[37],"interpretation":[38],"probabilistic":[40],"polyhedra":[41],"can":[42,59,66,114],"be":[43,60],"used":[44],"analyze":[46],"worst-case":[48],"leakage":[49,103],"query,":[52],"on-line,":[53],"determine":[55],"whether":[56],"query":[58],"safely":[61],"answered.":[62],"While":[63],"this":[64],"approach":[65,98],"provide":[67],"precise":[68],"estimates,":[69],"it":[70],"does":[71],"not":[72],"scale":[73],"well.":[74],"This":[75],"paper":[76],"shows":[77],"solve":[80],"scalability":[82],"problem":[83],"by":[84],"augmenting":[85],"baseline":[87,120],"technique":[88,121],"sampling":[90],"and":[91,107],"symbolic":[92],"execution.":[93],"We":[94],"prove":[95],"our":[97],"never":[99],"underestimates":[100],"query\u2019s":[102],"(it":[104],"sound),":[106],"detailed":[108],"experimental":[109],"results":[110],"show":[111],"we":[113],"match":[115],"precision":[117],"but":[122],"orders":[124],"magnitude":[126],"better":[127],"performance.":[128]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}