23 Dec
2014
23 Dec
'14
5:02 p.m.
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