Transforming out timing leaks (2000)

by J Agat
Venue:In Proc. ACM Symp. on Principles of Programming Languages