Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi. Information Flow Security for Stochastic Processes. In Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke, editors, Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Volume 11178 of Lecture Notes in Computer Science, pages 142-156, Springer, 2018. [doi]
Abstract is missing.