# VERONICA: Expressive and Precise Concurrent Information Flow Security

> Research article (2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020) · cited 11× · AI/ML

**Wikidata**: [openalex:W3047136290](https://www.wikidata.org/wiki/openalex:W3047136290)  
**Source**: https://4ort.xyz/entity/veronica-expressive-and-precise-concurrent-information-flow-security