The following pages link to Transforming out timing leaks (Q5178841):
Displayed 8 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- 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)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- More Typed Assembly Languages for Confidentiality (Q3498434) (← links)