Closing internal timing channels by transformation,” in ASIAN, (2006)

by A Russo, J Hughes, D A Naumann, A Sabelfeld