Slot Games for Detecting Timing Leaks of Programs

Aleksandar S. Dimovski

In this paper we describe a method for verifying secure information flow of programs, where apart from direct and indirect flows a secret information can be leaked through covert t…