Systems Seminar: "Rigorous Techniques for Side- and Covert-Channels in Component Systems"
Event details
| Date | 16.07.2013 |
| Hour | 10:00 › 11:00 |
| Speaker | David Cock (NICTA & UNSW) |
| Location | |
| Category | Conferences - Seminars |
This talk will cover the work done within NICTA over the last few years on side-channel and covert-channel mitigation techniques in seL4, concerned particularly with approaches amenable to formal verification. This is a survey talk, and will cover:
- Formal, probabilistic, models of leakage;
- Fundamental mathematical considerations;
- The verification of probabilistic countermeasures; and
- Empirical evaluation of bandwidth.
Practical information
- General public
- Free
Organizer
- http://dslab.epfl.ch/