{"id":"https://openalex.org/W3047136290","doi":"https://doi.org/10.1109/csf49147.2020.00014","title":"VERONICA: Expressive and Precise Concurrent Information Flow Security","display_name":"VERONICA: Expressive and Precise Concurrent Information Flow Security","publication_year":2020,"publication_date":"2020-06-01","ids":{"openalex":"https://openalex.org/W3047136290","doi":"https://doi.org/10.1109/csf49147.2020.00014","mag":"3047136290"},"language":"en","primary_location":{"id":"doi:10.1109/csf49147.2020.00014","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf49147.2020.00014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 33rd Computer Security Foundations Symposium (CSF)","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/A5044906965","display_name":"Daniel Schoepe","orcid":"https://orcid.org/0009-0006-1187-9569"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Daniel Schoepe","raw_affiliation_strings":["Chalmers University of Technology"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043210393","display_name":"Toby Murray","orcid":"https://orcid.org/0000-0002-8271-0289"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I165779595","display_name":"University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Toby Murray","raw_affiliation_strings":["University of Melbourne and Data61"],"affiliations":[{"raw_affiliation_string":"University of Melbourne and Data61","institution_ids":["https://openalex.org/I165779595","https://openalex.org/I42894916"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070340953","display_name":"Andrei Sabelfeld","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Andrei Sabelfeld","raw_affiliation_strings":["Chalmers University of Technology"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5044906965"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":1.0605,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.82120554,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","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/T11424","display_name":"Security and Verification in Computing","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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9947999715805054,"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.9843000173568726,"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/correctness","display_name":"Correctness","score":0.8155688047409058},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8150515556335449},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5997454524040222},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5533159971237183},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5137180089950562},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.49808430671691895},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49310943484306335},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.41930681467056274},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32906994223594666},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18377748131752014}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8155688047409058},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8150515556335449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5997454524040222},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5533159971237183},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5137180089950562},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.49808430671691895},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49310943484306335},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.41930681467056274},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32906994223594666},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18377748131752014}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/csf49147.2020.00014","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf49147.2020.00014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 33rd Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:519154","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/519154","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":82,"referenced_works":["https://openalex.org/W52769613","https://openalex.org/W101736256","https://openalex.org/W140235344","https://openalex.org/W153174126","https://openalex.org/W170638844","https://openalex.org/W1502268999","https://openalex.org/W1518644674","https://openalex.org/W1545681762","https://openalex.org/W1560474498","https://openalex.org/W1586448612","https://openalex.org/W1699577049","https://openalex.org/W1817610252","https://openalex.org/W1819958245","https://openalex.org/W1845237624","https://openalex.org/W1867052887","https://openalex.org/W1910149059","https://openalex.org/W1951554580","https://openalex.org/W1964727056","https://openalex.org/W1966354044","https://openalex.org/W1973641744","https://openalex.org/W1977764760","https://openalex.org/W1986681115","https://openalex.org/W1988079752","https://openalex.org/W1991895580","https://openalex.org/W1993302007","https://openalex.org/W1999056706","https://openalex.org/W2036463966","https://openalex.org/W2054633150","https://openalex.org/W2057503672","https://openalex.org/W2060710422","https://openalex.org/W2069300761","https://openalex.org/W2088923183","https://openalex.org/W2097744609","https://openalex.org/W2098820900","https://openalex.org/W2104334667","https://openalex.org/W2104658241","https://openalex.org/W2105482908","https://openalex.org/W2106192381","https://openalex.org/W2107881300","https://openalex.org/W2108887121","https://openalex.org/W2116469687","https://openalex.org/W2117320004","https://openalex.org/W2121405115","https://openalex.org/W2126469755","https://openalex.org/W2128932642","https://openalex.org/W2139799388","https://openalex.org/W2147778310","https://openalex.org/W2150174204","https://openalex.org/W2154005761","https://openalex.org/W2165078378","https://openalex.org/W2168686464","https://openalex.org/W2186572398","https://openalex.org/W2202040224","https://openalex.org/W2202148857","https://openalex.org/W2295217343","https://openalex.org/W2296228066","https://openalex.org/W2346134553","https://openalex.org/W2522646173","https://openalex.org/W2560756836","https://openalex.org/W2610987005","https://openalex.org/W2628854485","https://openalex.org/W2752155394","https://openalex.org/W2760684713","https://openalex.org/W2766853406","https://openalex.org/W2768224742","https://openalex.org/W2794674744","https://openalex.org/W2798178883","https://openalex.org/W2896239678","https://openalex.org/W2900842017","https://openalex.org/W2914544883","https://openalex.org/W2957876159","https://openalex.org/W2987907651","https://openalex.org/W3003567403","https://openalex.org/W3049713846","https://openalex.org/W3146075203","https://openalex.org/W4240226860","https://openalex.org/W4251912342","https://openalex.org/W6633312012","https://openalex.org/W6638560250","https://openalex.org/W6643636700","https://openalex.org/W6678045348","https://openalex.org/W6773082030"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W2621980927","https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W2140496290","https://openalex.org/W2949331520"],"abstract_inverted_index":{"Methods":[0],"for":[1,18,101,138],"proving":[2,102],"that":[3,108,142],"concurrent":[4,103],"software":[5],"does":[6],"not":[7],"leak":[8],"its":[9],"secrets":[10],"has":[11],"remained":[12],"an":[13,26],"active":[14],"topic":[15],"of":[16,29,57,91,117,166,174,180,186],"research":[17],"at":[19],"least":[20],"the":[21,31,61,78,97,170,184],"past":[22],"four":[23],"decades.":[24],"Despite":[25],"impressive":[27],"array":[28],"work,":[30],"present":[32,95],"situation":[33],"remains":[34],"highly":[35],"unsatisfactory.":[36],"With":[37],"contemporary":[38],"compositional":[39,92],"proof":[40],"methods":[41],"one":[42,62],"is":[43,82],"forced":[44],"to":[45,51,68,154],"choose":[46],"between":[47],"expressiveness":[48],"(the":[49,66],"ability":[50,67],"reason":[52,69],"about":[53,70,113],"a":[54,88,114,135,155,178],"wide":[55,115],"variety":[56],"security":[58,118],"policies),":[59],"on":[60,77],"hand,":[63],"and":[64,74,120,157,172],"precision":[65],"complex":[71],"thread":[72],"interactions":[73],"program":[75,99,121],"behaviours),":[76],"other.":[79],"Achieving":[80],"both":[81],"essential":[83],"and,":[84],"we":[85],"argue,":[86],"requires":[87],"new":[89,136],"style":[90],"reasoning.":[93],"We":[94,168],"VERONICA,":[96],"first":[98],"logic":[100],"programs":[104],"information":[105],"flow":[106],"secure":[107],"supports":[109],"compositional,":[110],"high-precision":[111],"reasoning":[112],"range":[116,179],"policies":[119],"behaviours":[122],"(e.g.":[123],"expressive":[124],"declassification,":[125],"value-dependent":[126],"classification,":[127],"secret-dependent":[128],"branching).":[129],"Just":[130],"as":[131],"importantly,":[132],"VERONICA":[133,175],"embodies":[134],"approach":[137],"engineering":[139],"such":[140],"logics":[141],"can":[143],"be":[144],"re-used":[145],"elsewhere,":[146],"called":[147],"decoupled":[148],"functional":[149],"correctness":[150],"(DFC).":[151],"DFC":[152],"leads":[153],"simple":[156],"clean":[158],"logic,":[159],"even":[160],"while":[161],"achieving":[162],"this":[163],"unprecedented":[164],"combination":[165],"features.":[167],"demonstrate":[169],"virtues":[171],"versatility":[173],"by":[176],"verifying":[177],"example":[181],"programs,":[182],"beyond":[183],"reach":[185],"prior":[187],"methods.":[188]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":6}],"updated_date":"2025-11-25T14:43:58.451035","created_date":"2025-10-10T00:00:00"}