Search results for "seL4"

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