Felix A. Wolf, Peter Müller 0001. Verifiable Security Policies for Distributed Systems. In Bo Luo, Xiaojing Liao, Jun Xu 0024, Engin Kirda, David Lie, editors, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024. pages 4-18, ACM, 2024. [doi]
@inproceedings{Wolf024,
title = {Verifiable Security Policies for Distributed Systems},
author = {Felix A. Wolf and Peter Müller 0001},
year = {2024},
doi = {10.1145/3658644.3690303},
url = {https://doi.org/10.1145/3658644.3690303},
researchr = {https://researchr.org/publication/Wolf024},
cites = {0},
citedby = {0},
pages = {4-18},
booktitle = {Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024},
editor = {Bo Luo and Xiaojing Liao and Jun Xu 0024 and Engin Kirda and David Lie},
publisher = {ACM},
isbn = {979-8-4007-0636-3},
}