Zobrazeno 1 - 10
of 145
pro vyhledávání: '"Klein, Gerwin"'
Autor:
Buckley, Scott, Sison, Robert, Wistoff, Nils, Millar, Curtis, Murray, Toby, Klein, Gerwin, Heiser, Gernot
Microarchitectural timing channels are a major threat to computer security. A set of OS mechanisms called time protection was recently proposed as a principled way of preventing information leakage through such channels and prototyped in the seL4 mic
Externí odkaz:
http://arxiv.org/abs/2310.17046
Timing channels are a significant and growing security threat in computer systems, with no established solution. We have recently argued that the OS must provide time protection, in analogy to the established memory protection, to protect application
Externí odkaz:
http://arxiv.org/abs/1901.08338
Autor:
O'Connor, Liam, Rizkallah, Christine, Chen, Zilin, Amani, Sidney, Lim, Japheth, Nagashima, Yutaka, Sewell, Thomas, Hixon, Alex, Keller, Gabriele, Murray, Toby, Klein, Gerwin
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and without the need for a trusted runtime or garbage collector. It compiles to
Externí odkaz:
http://arxiv.org/abs/1601.05520
Publikováno v:
Communications of the ACM. Apr2020, Vol. 63 Issue 4, p72-75. 4p. 1 Illustration, 1 Diagram.
Publikováno v:
EPTCS 102, 2012
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conference series is to bring together researchers and developers from both ac
Externí odkaz:
http://arxiv.org/abs/1211.5873
Autor:
Klein, Gerwin, Andronick, June, Keller, Gabriele, Matichuk, Daniel, Murray, Toby, O'Connor, Liam
Publikováno v:
Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2017 Oct . 375(2104), 1-23.
Externí odkaz:
https://www.jstor.org/stable/44678579
Autor:
KLEIN, GERWIN1,2 gerwin.klein@data61.csiro.au, ANDRONICK, JUNE3,4,5 june.andronick@data61.csiro.au, FERNANDEZ, MATTHEW6 matthew.fernandez@gmail.com, KUZ, IHOR4,7 ihor.kuz@data61.csiro.au, MURRAY, TOBY8,9 toby.murray@unimelb.edu.au, HEISER, GERNOT1,10,11 gernot@unsw.edu.au
Publikováno v:
Communications of the ACM. Oct2018, Vol. 61 Issue 10, p68-77. 10p. 1 Color Photograph, 9 Diagrams.
Publikováno v:
In Information and Software Technology April 2015 60:102-112
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.