Iodine: Verifying Constant-Time Execution of Hardware.
Klaus von GleissenthallRami Gökhan KiciDeian StefanRanjit JhalaPublished in: CoRR (2019)
Keyphrases
- low cost
- hardware and software
- real time
- model checking
- computer systems
- memory management
- hardware design
- parallel execution
- java virtual machine
- hardware implementation
- computing systems
- neural network
- execution model
- multithreading
- computing power
- massively parallel
- personal computer
- embedded systems
- image processing
- data flow
- graphics hardware
- parallel architectures
- digital circuits
- data acquisition
- input output
- cloud computing
- standard pc
- concurrent execution