Mothy's Publications
... Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser. Proceedings of the 11th Workshop on ... Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser. Proceedings of the 11th Workshop on ...
https://people.inf.ethz.ch/troscoe/mothy.bib
... practical, verified kernel}}, author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy ... practical, verified kernel}}, author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy ...
paper.dvi
paper.dvi, https://netsec.ethz.ch/publications/papers/paper-hyperphone-TRUST-2012.pdf, paper.dvi Trustworthy Execution on Mobile Devices: What security properties can my mobile platform give me? A...
paper.dvi
paper.dvi, https://netsec.ethz.ch/publications/papers/paper-xmhf-IEEESP-2013.pdf, paper.dvi Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudeva...
