Transforming out timing leaks (2000)

by Johan Agat
Venue:In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages