%0 Conference Paper %1 conf/csfw/SchoepeMS20 %A Schoepe, Daniel %A Murray, Toby %A Sabelfeld, Andrei %B CSF %D 2020 %I IEEE %K dblp %P 79-94 %T VERONICA: Expressive and Precise Concurrent Information Flow Security. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2020.html#SchoepeMS20 %@ 978-1-7281-6572-1

@inproceedings{conf/csfw/SchoepeMS20, added-at = {2020-08-10T00:00:00.000+0200}, author = {Schoepe, Daniel and Murray, Toby and Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/25510ea110384ec7de2f8af5cca0729a2/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2020}, ee = {https://doi.org/10.1109/CSF49147.2020.00014}, interhash = {c98f6299f6591807dd4d42266e52deca}, intrahash = {5510ea110384ec7de2f8af5cca0729a2}, isbn = {978-1-7281-6572-1}, keywords = {dblp}, pages = {79-94}, publisher = {IEEE}, timestamp = {2020-08-11T11:43:16.000+0200}, title = {VERONICA: Expressive and Precise Concurrent Information Flow Security.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2020.html#SchoepeMS20}, year = 2020 }