Marc Andrysco. Towards Verified, Constant-Time Floating-Point Operations. PhD thesis, University of California, San Diego, USA, 2019. [doi]
@phdthesis{us-2611,
title = {Towards Verified, Constant-Time Floating-Point Operations},
author = {Marc Andrysco},
year = {2019},
url = {https://www.escholarship.org/uc/item/8wq0q4zx},
researchr = {https://researchr.org/publication/us-2611},
cites = {0},
citedby = {0},
school = {University of California, San Diego, USA},
}