2 citations
2 papers
cs.PL2013★ 2 cited
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…
cs.FL2012★ 2 cited
Symbolic Representation of Algorithmic Game Semantics
Aleksandar S. Dimovski
In this paper we revisit the regular-language representation of game semantics of second-order recursion free Idealized Algol with infinite data types. By using symbolic values ins…