Amir Herzberg, Yehonatan Kfir. The Leaky Actuator: A Provably-covert Channel in Cyber Physical Systems. In Lorenzo Cavallaro, Johannes Kinder, Thorsten Holz, editors, Proceedings of the ACM Workshop on Cyber-Physical Systems Security & Privacy, CPS-SPC@CCS 2019, London, UK, November 11, 2019. pages 87-98, ACM, 2019. [doi]
Abstract is missing.