Jason Jaskolka, Ridha Khédri. Towards the Certification of Covert Channel Freeness in Cloud-based Systems. In Elhadi M. Shakshuki, editor, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015. Volume 52 of Procedia Computer Science, pages 318-325, Elsevier, 2015. [doi]
Abstract is missing.