23 citations · 43 across the 10 of their papers we have counts for
1 paper · 1 filter
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…