Verifying and Synthesizing Constant-Resource Implementations with Types. - Van Chan Ngo; Mario Dehesa-Azuara; Matthew Fredrikson; Jan Hoffmann 002 (IEEE Symposium on Security and Privacy, 2017)