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

Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires

Browse the full ICFP paper archive.