Re: Paper: undermine memory isolation in Fiasco OC covert channels
Marcus Völp <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Am 23.12.2014 um 06:22 schrieb Gernot Heiser:
>> In my thesis in
>> 2011, I already identified several timing channels in the mapping-tree
>> interface and in act Michael Peter should know this work:
>>
>> http://os.inf.tu-dresden.de/papers_ps/voelp_phd.pdf
> I believe your thesis talks about timing channels.
The type system in Chapter 4 checks for the absense of storage channels
and then converts out remaining timing leaks.
Marcus