TY  - RPRT
TI  - Verifying and Synthesizing Constant-Resource Implementations with Types
AU  - Van Chan Ngo
AU  - Mario Dehesa-Azuara
AU  - Matthew Fredrikson
AU  - Jan Hoffmann
PY  - 2018
UR  - https://arxiv.org/abs/1801.01896
ID  - 1801.01896
ER  -