The following pages link to Transforming out timing leaks (Q5178841):
Displayed 6 items.
- Relational bytecode correlations (Q710672) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- More Typed Assembly Languages for Confidentiality (Q3498434) (← links)