{"id":"https://openalex.org/W2509308157","doi":"https://doi.org/10.1145/3009837.3009889","title":"Hypercollecting semantics and its application to static analysis of information flow","display_name":"Hypercollecting semantics and its application to static analysis of information flow","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2509308157","doi":"https://doi.org/10.1145/3009837.3009889","mag":"2509308157"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009889","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1608.01654","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mounir Assaf","orcid":null},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mounir Assaf","raw_affiliation_strings":["Stevens Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology, USA","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"middle","author":{"id":null,"display_name":"David A. Naumann","orcid":null},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David A. Naumann","raw_affiliation_strings":["Stevens Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology, USA","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Julien Signoles","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julien Signoles","raw_affiliation_strings":["CEA LIST, France"],"affiliations":[{"raw_affiliation_string":"CEA LIST, France","institution_ids":["https://openalex.org/I4210085861","https://openalex.org/I2738703131"]}]},{"author_position":"middle","author":{"id":null,"display_name":"\u00c9ric Totel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"\u00c9ric Totel","raw_affiliation_strings":["CentraleSup\u00e9lec, France"],"affiliations":[{"raw_affiliation_string":"CentraleSup\u00e9lec, France","institution_ids":["https://openalex.org/I4210107720"]}]},{"author_position":"last","author":{"id":null,"display_name":"Fr\u00e9d\u00e9ric Tronel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Tronel","raw_affiliation_strings":["CentraleSup\u00e9lec, France"],"affiliations":[{"raw_affiliation_string":"CentraleSup\u00e9lec, France","institution_ids":["https://openalex.org/I4210107720"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I108468826"],"apc_list":null,"apc_paid":null,"fwci":3.9755,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.94452389,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"874","last_page":"887"},"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.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/T11424","display_name":"Security and Verification in Computing","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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9926000237464905,"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"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.98580002784729,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/static-analysis","display_name":"Static analysis","score":0.8382999897003174},{"id":"https://openalex.org/keywords/galois-connection","display_name":"Galois connection","score":0.6728000044822693},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.6553999781608582},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5746999979019165},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.49900001287460327},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4652999937534332},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.42899999022483826},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.39419999718666077},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.38519999384880066},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.3756999969482422}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8382999897003174},{"id":"https://openalex.org/C2777573902","wikidata":"https://www.wikidata.org/wiki/Q1491747","display_name":"Galois connection","level":2,"score":0.6728000044822693},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.6553999781608582},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6262999773025513},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5746999979019165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5098000168800354},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.49900001287460327},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4699000120162964},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4652999937534332},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.42899999022483826},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.39419999718666077},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.3756999969482422},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3644999861717224},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.3560999929904938},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.3521000146865845},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34769999980926514},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3433000147342682},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.3239000141620636},{"id":"https://openalex.org/C27390822","wikidata":"https://www.wikidata.org/wiki/Q320724","display_name":"Dependence analysis","level":2,"score":0.3181999921798706},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.31200000643730164},{"id":"https://openalex.org/C3018587665","wikidata":"https://www.wikidata.org/wiki/Q7268696","display_name":"Qualitative analysis","level":3,"score":0.3052000105381012},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.29120001196861267},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C2779954242","wikidata":"https://www.wikidata.org/wiki/Q6031227","display_name":"Information structure","level":2,"score":0.26179999113082886}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3009837.3009889","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1608.01654","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1608.01654","pdf_url":"https://arxiv.org/pdf/1608.01654","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":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-01618360v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01618360","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://popl17.sigplan.org/","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1608.01654","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1608.01654","pdf_url":"https://arxiv.org/pdf/1608.01654","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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1374105745","display_name":"TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps","funder_award_id":"1228930","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2103953240","display_name":null,"funder_award_id":"ANR-14-CE28-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5123821056","display_name":null,"funder_award_id":"CNS-1228930","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5696785753","display_name":null,"funder_award_id":"CNS-1228930,CCF-1649884","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"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W52562630","https://openalex.org/W98374482","https://openalex.org/W1213177963","https://openalex.org/W1488986397","https://openalex.org/W1523697553","https://openalex.org/W1579892469","https://openalex.org/W1580132004","https://openalex.org/W1584436405","https://openalex.org/W1586448612","https://openalex.org/W1588423823","https://openalex.org/W1847634121","https://openalex.org/W1867052887","https://openalex.org/W1966571454","https://openalex.org/W1977764760","https://openalex.org/W1984342415","https://openalex.org/W1986681115","https://openalex.org/W1987983106","https://openalex.org/W1990621394","https://openalex.org/W1993941352","https://openalex.org/W1995875735","https://openalex.org/W1999040234","https://openalex.org/W2005090527","https://openalex.org/W2014764321","https://openalex.org/W2015983833","https://openalex.org/W2016587549","https://openalex.org/W2018424853","https://openalex.org/W2043100293","https://openalex.org/W2044870852","https://openalex.org/W2075419979","https://openalex.org/W2077217970","https://openalex.org/W2097151854","https://openalex.org/W2108104925","https://openalex.org/W2109510636","https://openalex.org/W2113299870","https://openalex.org/W2122049982","https://openalex.org/W2126469755","https://openalex.org/W2126908237","https://openalex.org/W2129278597","https://openalex.org/W2131916295","https://openalex.org/W2132143674","https://openalex.org/W2132661148","https://openalex.org/W2139799388","https://openalex.org/W2145846275","https://openalex.org/W2145969019","https://openalex.org/W2149465027","https://openalex.org/W2149996206","https://openalex.org/W2165078378","https://openalex.org/W2167136065","https://openalex.org/W2169784622","https://openalex.org/W2170656359","https://openalex.org/W2193270772","https://openalex.org/W2381524979","https://openalex.org/W2418260908","https://openalex.org/W2508093270","https://openalex.org/W2509664019","https://openalex.org/W2517913729","https://openalex.org/W2964335063","https://openalex.org/W2997271062","https://openalex.org/W3024337755","https://openalex.org/W3158747708","https://openalex.org/W3163429311","https://openalex.org/W4243284147","https://openalex.org/W4247533651","https://openalex.org/W6639317341","https://openalex.org/W6683353623"],"related_works":[],"abstract_inverted_index":{"We":[0,78,150],"show":[1],"how":[2],"static":[3,66,85,168],"analysis":[4,95,125],"for":[5,68,170],"secure":[6],"information":[7,89,118,171],"flow":[8],"can":[9],"be":[10],"expressed":[11],"and":[12,102,106,112,156,166],"proved":[13],"correct":[14],"entirely":[15,70],"within":[16,71],"the":[17,34,72,98,107,128,152,163],"framework":[18,74,153],"of":[19,36,41,50,56,75,100,110,135],"abstract":[20,76],"interpretation.":[21,77],"The":[22],"key":[23],"idea":[24],"is":[25],"to":[26,63,97,154],"define":[27],"a":[28,47,54,93,122,132],"Galois":[29,43],"connection":[30],"that":[31,126,144,159],"directly":[32],"approximates":[33],"hyperproperty":[35],"interest.":[37],"To":[38],"enable":[39],"use":[40,155],"such":[42],"connections,":[44],"we":[45,91,120],"introduce":[46,157],"fixpoint":[48],"characterisation":[49],"hypercollecting":[51],"semantics,":[52],"i.e.":[53],"\"set":[55],"sets\"":[57],"transformer.":[58],"This":[59,141],"makes":[60],"it":[61,139],"possible":[62],"systematically":[64],"derive":[65,92,121],"analyses":[67,169],"hyperproperties":[69],"calculational":[73],"evaluate":[79],"this":[80],"technique":[81],"by":[82,131],"deriving":[83],"example":[84],"analyses.":[86],"For":[87,116],"qualitative":[88],"flow,":[90,119],"dependence":[94],"similar":[96],"logic":[99],"Amtoft":[101],"Banerjee":[103],"(SAS":[104],"'04)":[105],"type":[108],"system":[109],"Hunt":[111],"Sands":[113],"(POPL":[114],"'06).":[115],"quantitative":[117],"novel":[123],"cardinality":[124],"bounds":[127],"leakage":[129],"conveyed":[130],"program":[133],"instead":[134],"simply":[136],"deciding":[137],"whether":[138],"exists.":[140],"encompasses":[142],"problems":[143],"are":[145],"hypersafety":[146],"but":[147],"not":[148],"k-safety.":[149],"put":[151],"variations":[158],"achieve":[160],"precision":[161],"rivalling":[162],"most":[164],"recent":[165],"precise":[167],"flow.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2016-09-16T00:00:00"}