Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

seL4/l4v: Proofs for seL4 15.0.0

20260 citationsOthergreen Open Access

Authors

Gerwin Klein · Computercraft (United States)

Matthew Brecknell · Selçuk University

michaelmcinerney

Daniel Matichuk · Galois (United States)

Alejandro Gómez-Londoño

Abstract

Proof compatible with seL4 release 15.0.0.

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19344770

David Greenaway

Edward Pierzchalski

Michael Norrish · Australian National University

Michael Sproul · Sigma Research (United States)

Mitchell Buckley · KRI

Amirreza Zarrabi

Toby Murray · The University of Melbourne

Santiago Bautista · École Normale Supérieure de Rennes

Cornelius Diekmann

Zoltan A. Kocsis

Matthew Fernandez

Curtis Millar · Selçuk University

emberian · Elizade University

Achim D. Brucker · Data Assurance and Communication Security

seL4/l4v: Proofs for seL4 15.0.0 | Researchclopedia