|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 6 keywords
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
107 | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an OS kernel. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
l4, sel4, microkernel, isabelle/hol |
83 | Gerwin Klein, Philip Derrin, Kevin Elphinstone |
Experience report: seL4: formally verifying a high-performance microkernel. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
seL4, haskell, microkernel, Isabelle/HOL |
77 | Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone |
Verified Protection Model of the seL4 Microkernel. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker |
capDL: a language for describing capability-based systems. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
SEL4, capability distribution, capabilities, security analysis, isabelle |
48 | Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David A. Cock, Michael Norrish |
Mind the Gap. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mina Soltani Siapoush, Jim Alves-Foss |
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik |
PARseL: Towards a Verified Root-of-Trust over seL4. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Adriana Nicolae, Paul Irofti, Ioana Leustean |
OpenBSD formal driver verification with SeL4. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod |
Model-driven development for the seL4 microkernel using the HAMR framework. |
J. Syst. Archit. |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Gernot Heiser, Ivan Velickovic |
Tutorial: Using the seL4 Microkernel. |
DSN-S |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Mathieu Paturel, Isitha Subasinghe, Gernot Heiser |
First steps in verifying the seL4 Core Platform. |
APSys |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Adriana Nicolae, Paul Irofti, Ioana Leustean |
OpenBSD Formal Driver Verification with SeL4. |
SecITC |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Borna Blazevic, Michael Peter, Mohammad Hamad, Sebastian Steinhorst |
TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. |
RTCSA |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik |
$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. |
ICCAD |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Michael A. Doran, Nabeeh Kandalaft |
Embedded Virtualization on RISC-V with seL4. |
UEMCON |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Everton de Matos, Markku Ahvenjärvi |
seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Marion Sudvarg, Chris Gill 0001 |
A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4. |
RTCSA |
2022 |
DBLP DOI BibTeX RDF |
|
28 | June Andronick |
The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk). |
CPP |
2022 |
DBLP DOI BibTeX RDF |
|
28 | June Andronick |
The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Gernot Heiser, Gerwin Klein, June Andronick |
seL4 in Australia: from research to real-world trustworthy systems. |
Commun. ACM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Grant Jurgensen, Michael Neises, Perry Alexander |
An seL4-based architecture for layered attestation. |
HotSoS |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Guiqiang Ding, Lei Wang 0126, Luming Wang, Qiao Kang |
多核平台上针对seL4的分区机制研究 (Study of Partition Mechanism for seL4 on Multi-core Platform). |
计算机科学 |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Guangqiang Luan, Yuebin Bai, Libin Xu, Chao Yu 0001, Chunyang Wang, Junfang Zeng, Qingbin Chen, Weitao Wang |
Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel. |
COMPSAC (1) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser |
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. |
APSys |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Libin Xu, Yuebin Bai, Kun Cheng, Lingyu Ge, Danning Nie, Lijun Zhang, Wenjia Liu |
Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel. |
HPCC/SmartCity/DSS |
2016 |
DBLP DOI BibTeX RDF |
|
28 | David A. Cock, Qian Ge 0001, Toby C. Murray, Gernot Heiser |
The Last Mile: An Empirical Study of Timing Channels on seL4. |
CCS |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Mikael Åsberg, Thomas Nolte |
Towards a user-mode approach to partitioned scheduling in the seL4 microkernel. |
SIGBED Rev. |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Kevin Elphinstone, Gernot Heiser |
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein |
seL4: From General Purpose to a Proof of Information Flow Enforcement. |
IEEE Symposium on Security and Privacy |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
seL4 Enforces Integrity. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an operating-system kernel. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Gerwin Klein, Thomas Sewell, Simon Winwood |
Refinement in the Formal Verification of the seL4 Microkernel. |
Design and Verification of Microprocessor Systems for High-Assurance Applications |
2010 |
DBLP DOI BibTeX RDF |
|
24 | David A. Cock, Gerwin Klein, Thomas Sewell |
Secure Microkernels, State Monads and Scalable Refinement. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters |
Towards trustworthy computing systems: taking microkernels to the next level. |
ACM SIGOPS Oper. Syst. Rev. |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|