Verifying and Synthesizing Constant-Resource Implementations with Types

2017 IEEE Symposium on Security and Privacy (SP) ◽

10.1109/sp.2017.53 ◽

2017 ◽

Cited By ~ 8

Author(s):

Van Chan Ngo ◽

Mario Dehesa-Azuara ◽

Matthew Fredrikson ◽

Jan Hoffmann