Language-based control and mitigation of timing channels. (2012)

by D Zhang, A Askarov, A C Myers
Venue:In Proc. of PLDI.