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 ...
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 ...
https://comsec.ethz.ch/wp-content/files/securepay_eurosp20.pdf
https://comsec.ethz.ch/wp-content/files/securepay_eurosp20.pdf, SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions Radhesh Krishnan Konoth Vrije Universiteit Amsterdam r...
Igloo: Soundly Linking Compositional Refinement and Separation Logi...
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verifica, https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/information-security-group-...
https://people.inf.ethz.ch/rsasse/pub/thesis.pdf
https://people.inf.ethz.ch/rsasse/pub/thesis.pdf, c© 2012 Ralf Sasse SECURITY MODELS IN REWRITING LOGIC FOR CRYPTOGRAPHIC PROTOCOLS AND BROWSERS BY RALF SASSE DISSERTATION Submitted in partial ful...
