Towards Verified, Constant-time Floating Point Operations
Authors:
Open Access
- 15 October 2018
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1369-1382
Abstract
No abstract availableKeywords
Funding Information
- National Science Foundation (CNS-1514435)
This publication has 17 references indexed in Scilit:
- An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic2015
- On Subnormal Floating Point and Abnormal Timing2015
- Cross-origin pixel stealing2013
- Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling2013
- Compiler mitigations for time attacks on modern x86 processorsACM Transactions on Architecture and Code Optimization, 2012
- Preventing Timing Leaks Through Transactional Branching InstructionsElectronic Notes in Theoretical Computer Science, 2006
- The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks2006
- Cache Attacks and Countermeasures: The Case of AES2006
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991
- An axiomatic basis for computer programmingCommunications of the ACM, 1969