Verifying and Synthesizing Constant-Resource Implementations with Types.

Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann

Browse the full SP paper archive.