IODINE: Verifying Constant-Time Execution of Hardware.
Klaus von GleissenthallRami Gökhan KiciDeian StefanRanjit JhalaPublished in: USENIX Security Symposium (2019)
Keyphrases
- low cost
- hardware and software
- real time
- memory management
- computer systems
- model checking
- hardware implementation
- computing power
- parallel execution
- java virtual machine
- standard pc
- computing systems
- execution environment
- hardware architecture
- personal computer
- image processing
- parallel hardware
- active databases
- execution model
- neural network