Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri. A formal test for detecting information leakage via covert channels. In Frederick T. Sheldon, Robert K. Abercrombie, Axel W. Krings, editors, Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2011, Oak Ridge, TN, USA, October 12-14, 2011. pages 41, ACM, 2011. [doi]