Addressing covert termination and timing channels in concurrent information flow systems. (2012)

by D Stefan, A Russo, P Buiras, A Levy, J C Mitchell, D Mazieres
Venue:In The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP),