Transforming out Timing Leaks (2000)

by Johan Agat
Venue:IN PROC. 27TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL