Preventing Timing Leaks Through Transactional Branching Instructions.
Gilles BartheTamara RezkMartijn WarnierPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- branch and bound
- leak detection
- automatic identification
- fault tolerant
- search tree
- information flow
- transaction model
- computer programs
- long lived
- search algorithm
- transaction processing
- artificial intelligence
- image processing
- asynchronous circuits
- data sets
- upper bound
- mobile devices
- relational databases
- lower bound
- multiscale
- database systems