Transforming out Timing Leaks (2000)

by Johan Agat
Venue:In Conference Record of the Annual ACM Symposium on Principles of Programming Languages, POPL’00