seL4-Reference-Cited by-同舟云学术

seL4

Published:2010-06 Issue:6 Volume:53 Page:107-115
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Klein Gerwin¹,Andronick June²,Elphinstone Kevin²,Heiser Gernot³,Cock David⁴,Derrin Philip⁵,Elkaduwe Dhammika⁶,Engelhardt Kai²,Kolanski Rafal²,Norrish Michael⁷,Sewell Thomas⁴,Tuch Harvey⁸,Winwood Simon²

Affiliation:

1. National ICT Australia (NICTA), University of South Wales (UNSW), Sydney

2. NICTA, UNSW

3. NICTA, UNSW, Open Kernel Labs

4. NICTA

5. NICTA, now at Open Kernel Labs

6. NICTA, UNSW, now at University of Peradeniya, Sri Lanka

7. NICTA, Australian National University, Canberra

8. NICTA, UNSW, now at VMWare

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Reference10 articles.

1. Alkassar E. Schirmer N. Starostin A. Formal pervasive verification of a paging mechanism . TACAS. C.R. Ramakrishnan and J. Rehof eds. Volume 4963 of LNCS (2008) . Springer 109--123. Alkassar E. Schirmer N. Starostin A. Formal pervasive verification of a paging mechanism. TACAS . C.R. Ramakrishnan and J. Rehof eds. Volume 4963 of LNCS (2008). Springer 109--123.

2. Programming semantics for multiprogrammed computations

3. Verified Protection Model of the seL4 Microkernel

4. Formal certification of a compiler back-end or

5. Toward real microkernels

Cited by 185 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Free Facts: An Alternative to Inefficient Axioms in Dafny;Lecture Notes in Computer Science;2024-09-11

2. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

3. Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas;Computation;2024-05-09

4. Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

5. Securing Verified IO Programs Against Unverified Code in F*;Proceedings of the ACM on Programming Languages;2024-01-05