The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for sel4 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2007-2016 (15) 2017-2023 (19)
Publication types (Num. hits)
article(10) incollection(1) inproceedings(23)
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
107Gerwin 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF l4, sel4, microkernel, isabelle/hol
83Gerwin Klein, Philip Derrin, Kevin Elphinstone Experience report: seL4: formally verifying a high-performance microkernel. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF seL4, haskell, microkernel, Isabelle/HOL
77Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone Verified Protection Model of the seL4 Microkernel. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker capDL: a language for describing capability-based systems. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF SEL4, capability distribution, capabilities, security analysis, isabelle
48Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David A. Cock, Michael Norrish Mind the Gap. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Mina Soltani Siapoush, Jim Alves-Foss Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik PARseL: Towards a Verified Root-of-Trust over seL4. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Adriana Nicolae, Paul Irofti, Ioana Leustean OpenBSD formal driver verification with SeL4. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Jason 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. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Gernot Heiser, Ivan Velickovic Tutorial: Using the seL4 Microkernel. Search on Bibsonomy DSN-S The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Mathieu Paturel, Isitha Subasinghe, Gernot Heiser First steps in verifying the seL4 Core Platform. Search on Bibsonomy APSys The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Adriana Nicolae, Paul Irofti, Ioana Leustean OpenBSD Formal Driver Verification with SeL4. Search on Bibsonomy SecITC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Borna Blazevic, Michael Peter, Mohammad Hamad, Sebastian Steinhorst TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. Search on Bibsonomy RTCSA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik $\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. Search on Bibsonomy ICCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Michael A. Doran, Nabeeh Kandalaft Embedded Virtualization on RISC-V with seL4. Search on Bibsonomy UEMCON The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Everton de Matos, Markku Ahvenjärvi seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Marion Sudvarg, Chris Gill 0001 A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4. Search on Bibsonomy RTCSA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28June Andronick The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk). Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28June Andronick The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. Search on Bibsonomy FMCAD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Gernot Heiser, Gerwin Klein, June Andronick seL4 in Australia: from research to real-world trustworthy systems. Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Grant Jurgensen, Michael Neises, Perry Alexander An seL4-based architecture for layered attestation. Search on Bibsonomy HotSoS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Guiqiang Ding, Lei Wang 0126, Luming Wang, Qiao Kang 多核平台上针对seL4的分区机制研究 (Study of Partition Mechanism for seL4 on Multi-core Platform). Search on Bibsonomy 计算机科学 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28Guangqiang 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. Search on Bibsonomy COMPSAC (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. Search on Bibsonomy APSys The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Libin Xu, Yuebin Bai, Kun Cheng, Lingyu Ge, Danning Nie, Lijun Zhang, Wenjia Liu Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel. Search on Bibsonomy HPCC/SmartCity/DSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28David A. Cock, Qian Ge 0001, Toby C. Murray, Gernot Heiser The Last Mile: An Empirical Study of Timing Channels on seL4. Search on Bibsonomy CCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Mikael Åsberg, Thomas Nolte Towards a user-mode approach to partitioned scheduling in the seL4 microkernel. Search on Bibsonomy SIGBED Rev. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Kevin Elphinstone, Gernot Heiser From L3 to seL4 what have we learnt in 20 years of L4 microkernels? Search on Bibsonomy SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Toby 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. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein seL4 Enforces Integrity. Search on Bibsonomy ITP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Gerwin 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. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Gerwin Klein, Thomas Sewell, Simon Winwood Refinement in the Formal Verification of the seL4 Microkernel. Search on Bibsonomy Design and Verification of Microprocessor Systems for High-Assurance Applications The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24David A. Cock, Gerwin Klein, Thomas Sewell Secure Microkernels, State Monads and Scalable Refinement. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters Towards trustworthy computing systems: taking microkernels to the next level. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license