Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code.

Jingsha He, Virgil D. Gligor

Browse the full ESORICS paper archive.