Timing-Sensitive Information Flow Analysis for Synchronous Systems.

Boris Kpf, David A. Basin

Browse the full ESORICS paper archive.