Gerwin Klein
Geciteerd door
Geciteerd door
seL4: Formal Verification of an Operating-System Kernel
SW Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David ...
Communications of the ACM 53 (6), 107-115, 2010
A machine-checked model for a Java-like language, virtual machine, and compiler
G Klein, T Nipkow
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (4), 619-695, 2006
Comprehensive formal verification of an OS microkernel
G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ...
ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014
Types, bytes, and separation logic
H Tuch, G Klein, M Norrish
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
seL4: from general purpose to a proof of information flow enforcement
T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ...
2013 IEEE Symposium on Security and Privacy, 415-429, 2013
Concrete semantics: with Isabelle/HOL
T Nipkow, G Klein
Springer, 2014
Operating system verification—an overview
G Klein
Sadhana 34 (1), 27-69, 2009
Verified bytecode verifiers
G Klein, T Nipkow
Theoretical Computer Science 298 (3), 583-626, 2003
JFlex-The Fast Scanner Generator for Java
G Klein, S Rowe, R Décamps
URL: http://www. jflex. de, 2005
Translation validation for a verified OS kernel
TAL Sewell, MO Myreen, G Klein
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
Towards trustworthy computing systems: taking microkernels to the next level
G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters
ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007
seL4 enforces integrity
T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 325-340, 2011
Secure microkernels, state monads and scalable refinement
D Cock, G Klein, T Sewell
International Conference on Theorem Proving in Higher Order Logics, 167-182, 2008
Verified lightweight bytecode verification
G Klein, T Nipkow
Concurrency and Computation: Practice and Experience 13 (13), 1133-1151, 2001
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
Verified protection model of the seL4 microkernel
D Elkaduwe, G Klein, K Elphinstone
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008
Bridging the gap: Automatic verified abstraction of C
D Greenaway, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 99-115, 2012
Towards a Practical, Verified Kernel.
K Elphinstone, G Klein, P Derrin, T Roscoe, G Heiser
HotOS, 2007
OS Verification-Now!
H Tuch, G Klein, G Heiser
HotOS, 2005
Noninterference for operating system kernels
T Murray, D Matichuk, M Brassil, P Gammie, G Klein
International Conference on Certified Programs and Proofs, 126-142, 2012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20