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]
No references recorded for this publication.
No citations of this publication recorded.