Transforming out Timing Leaks (2000)

by J Agat
Venue:In 27th POPL