Towards the Certification of Covert Channel Freeness in Cloud-based Systems.

Jason Jaskolka, Ridha Khdri

Browse the full ANT paper archive.