{"id":"https://openalex.org/W2992924408","doi":"https://doi.org/10.3233/jcs-191382","title":"On the expressiveness and semantics of information flow types","display_name":"On the expressiveness and semantics of information flow types","publication_year":2019,"publication_date":"2019-12-06","ids":{"openalex":"https://openalex.org/W2992924408","doi":"https://doi.org/10.3233/jcs-191382","mag":"2992924408"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-191382","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-191382","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-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/A5000593113","display_name":"Vineet Rajani","orcid":"https://orcid.org/0000-0001-7701-8311"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Vineet Rajani","raw_affiliation_strings":["Max Planck Institute for Software Systems, Germany. E-mails:\u00a0,\u00a0","Max Planck Institute for Software Systems, Germany. E-mails:\u00a0vrajani@mpi-sws.org,\u00a0dg@mpi-sws.org"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany. E-mails:\u00a0,\u00a0","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany. E-mails:\u00a0vrajani@mpi-sws.org,\u00a0dg@mpi-sws.org","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026719321","display_name":"Deepak Garg","orcid":"https://orcid.org/0000-0002-0888-3093"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Deepak Garg","raw_affiliation_strings":["Max Planck Institute for Software Systems, Germany. E-mails:\u00a0,\u00a0","Max Planck Institute for Software Systems, Germany. E-mails:\u00a0vrajani@mpi-sws.org,\u00a0dg@mpi-sws.org"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany. E-mails:\u00a0,\u00a0","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany. E-mails:\u00a0vrajani@mpi-sws.org,\u00a0dg@mpi-sws.org","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000593113"],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":null,"apc_paid":null,"fwci":0.4355,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.73183142,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"28","issue":"1","first_page":"129","last_page":"156"},"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/T10772","display_name":"Distributed systems and fault tolerance","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.9786999821662903,"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/computer-science","display_name":"Computer science","score":0.725547194480896},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.7185592651367188},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5680419206619263},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5533987283706665},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5437608361244202},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5253115296363831},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.486728698015213},{"id":"https://openalex.org/keywords/track","display_name":"Track (disk drive)","score":0.44103744626045227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43245378136634827}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.725547194480896},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.7185592651367188},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5680419206619263},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5533987283706665},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5437608361244202},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5253115296363831},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.486728698015213},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.44103744626045227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43245378136634827},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/jcs-191382","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-191382","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:kar.kent.ac.uk:90647","is_oa":false,"landing_page_url":"https://kar.kent.ac.uk/90647/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8527692473","display_name":null,"funder_award_id":"EP/S018964/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1508098446","https://openalex.org/W1521474031","https://openalex.org/W1683403723","https://openalex.org/W1857247180","https://openalex.org/W1977764760","https://openalex.org/W1994197051","https://openalex.org/W2005525408","https://openalex.org/W2016017569","https://openalex.org/W2017639917","https://openalex.org/W2028705369","https://openalex.org/W2044338429","https://openalex.org/W2061056245","https://openalex.org/W2066195326","https://openalex.org/W2067012475","https://openalex.org/W2086234010","https://openalex.org/W2100559921","https://openalex.org/W2108887121","https://openalex.org/W2109772966","https://openalex.org/W2132185316","https://openalex.org/W2149465027","https://openalex.org/W2150174204","https://openalex.org/W2154564703","https://openalex.org/W2158642393","https://openalex.org/W2162283517","https://openalex.org/W2514317887","https://openalex.org/W2591725154","https://openalex.org/W2766482825","https://openalex.org/W2799208700","https://openalex.org/W4236957841","https://openalex.org/W4238764625"],"related_works":["https://openalex.org/W2931688134","https://openalex.org/W2377919138","https://openalex.org/W2378857091","https://openalex.org/W2999756192","https://openalex.org/W103652678","https://openalex.org/W4226090359","https://openalex.org/W2059697060","https://openalex.org/W4382701072","https://openalex.org/W4256502920","https://openalex.org/W2491314273"],"abstract_inverted_index":{"Information":[0],"Flow":[1],"Control":[2],"(IFC)":[3],"is":[4,25,103,207,231],"a":[5,22,30,150,176,214,249,267],"form":[6],"of":[7,15,45,61,83,105,109,113,135,160,167,186,252,280],"dependence":[8,14,23,38,57,79,212],"analysis":[9,24],"that":[10,55,77],"tracks":[11,211],"and":[12,197,234,300,311],"prohibits":[13],"public":[16],"outputs":[17],"on":[18,165,192,237],"secret":[19],"inputs.":[20],"Such":[21],"often":[26],"carried":[27],"out":[28],"using":[29,248],"type":[31,34,53,75,87,115,136,153,179,308],"system.":[32],"IFC":[33,114,152,178],"systems":[35,54,76,88,137,309],"can":[36,261],"track":[37,56,78,130],"(via":[39],"confidentiality":[40],"labels)":[41],"at":[42,58,80,213],"varying":[43],"levels":[44],"granularity.":[46],"On":[47,68],"one":[48,104],"extreme,":[49,71],"there":[50,72],"are":[51,73,138],"fine-grained":[52,151],"the":[59,69,81,106,124,132,161,187,223,243,315],"level":[60,82],"individual":[62,66,92],"values.":[63,67],"They":[64],"label":[65,91,96,238],"other":[70],"coarse-grained":[74,177],"entire":[84,97],"computations.":[85],"These":[86],"do":[89,143],"not":[90],"values":[93],"but":[94],"instead":[95],"sub-computations.":[98],"An":[99],"important":[100],"foundational":[101,270],"question":[102],"relative":[107],"expressiveness":[108],"these":[110,307],"two":[111,133],"classes":[112,134],"systems.":[116],"In":[117],"this":[118,144,246],"paper":[119],"we":[120,272,289,303],"show":[121,273],"that,":[122],"despite":[123],"glaring":[125],"differences":[126],"in":[127],"how":[128,274],"they":[129],"dependence,":[131],"actually":[139],"equally":[140],"expressive.":[141],"We":[142,240],"by":[145],"showing":[146],"translations":[147,316],"from":[148,156,182,201,225],"FG,":[149,296],"system":[154,180],"derived":[155,181],"SLAM":[157],"(In":[158,184],"Proceedings":[159,185],"ACM":[162,188],"SIGPLAN-SIGACT":[163],"Symposium":[164],"Principles":[166],"Programming":[168,194],"Languages":[169],"(POPL)":[170],"(1998)),":[171],"to":[172,205,227,258,275,283,305,313],"[Formula:":[173,202,218,228,253,297],"see":[174,203,219,229,254,298],"text],":[175,255],"HLIO":[183],"SIGPLAN":[189],"International":[190],"Conference":[191],"Functional":[193],"(ICFP)":[195],"(2015)),":[196],"vice-versa.":[198],"The":[199],"translation":[200,224],"text]":[204,220,230,299],"FG":[206,210,226,260],"straightforward":[208],"since":[209],"granularity":[215],"finer":[216],"than":[217],"does.":[221],"However,":[222],"quite":[232],"involved":[233],"relies":[235],"extensively":[236],"quantification.":[239],"further":[241],"examine":[242],"reason":[244],"for":[245,295],"complexity":[247],"slight":[250],"variant":[251],"called":[256],"CG,":[257,301],"which":[259,302],"be":[262],"translated":[263],"more":[264,269],"easily.":[265],"As":[266],"separate,":[268],"contribution":[271],"extend":[276],"logical":[277,293],"relation":[278],"models":[279],"information":[281],"flow":[282],"languages":[284],"with":[285],"higher-order":[286],"state.":[287],"Specifically,":[288],"build":[290],"world-indexed":[291],"(Kripke)":[292],"relations":[294],"use":[304],"prove":[306,314],"sound":[310],"also":[312],"between":[317],"them":[318],"correct.":[319]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-04T08:30:34.212998","created_date":"2025-10-10T00:00:00"}