Timing-sensitive noninterference through composition.   [PDF, BibTeX, ]
Willard Rafnsson, Limin Jia, and Lujo Bauer.
In Proceedings of the 6th International Conference on the Principles of Security and Trust, April 2017. Springer. © Springer-Verlag  DOI:10.1007/978-3-662-54455-6_1