Dr. David Cock wins ACM SIGOPS 2019 Hall of Fame award – Department...
... Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski ... Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski ...
Dr. David Cock wins ACM SIGOPS 2019 Hall of Fame award – Department...
... , Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt ... , Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt ...
Dr. David Cock wins ACM SIGOPS 2019 Hall of Fame award | ETH Zurich
... Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai ... Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai ...
Dr. David Cock gewinnt ACM SIGOPS 2019 Hall of Fame Award – Departe...
... with his co-authors Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin ... Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish ...
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...
https://syssec.ethz.ch/content/dam/ethz/special-interest/infk/inst-...
https://syssec.ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/system-security-group-dam/research/publications/pub2015/acsac15_masti.pdf, Logical Partitions on Many-Core Platforms Ramya...
https://people.inf.ethz.ch/rsasse/pub/IBOS-CBC-Modular-Browser.pdf
... . Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R ... . Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R ...
https://people.inf.ethz.ch/dhofheinz/pdf/journals/it/BeckertHMPS11.pdf
... . [6] G. Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt ... . [6] G. Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt ...
