*Result*: Verifying and Synthesizing Constant-Resource Implementations with Types

Title:
Verifying and Synthesizing Constant-Resource Implementations with Types
Authors:
Ngo, V.C., Dehesa-Azuara, M., Fredrikson, M., Hoffmann, J.
Source:
2017 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2017 IEEE Symposium on. :710-728 May, 2017
Relation:
2017 IEEE Symposium on Security and Privacy (SP)
Database:
IEEE Xplore Digital Library