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 14.0.0

20250 citationsOthergreen Open Access

Authors

Gerwin Klein · Computercraft (United States)

Matthew Brecknell · Selçuk University

Daniel Matichuk · Galois (United States)

michaelmcinerney

Alejandro Gómez-Londoño

David Greenaway

Edward Pierzchalski

Abstract

Proof compatible with seL4 release 14.0.0.

Publication Details

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

DOI: 10.5281/zenodo.17708341

seL4/l4v: Proofs for seL4 14.0.0 | Researchclopedia

Michael Norrish · Australian National University

Michael Sproul · Sigma Research (United States)

Mitchell Buckley

Amirreza Zarrabi

Toby Murray · University of Melbourne

Santiago Bautista · École Normale Supérieure de Rennes

Cornelius Diekmann

Zoltan A. Kocsis

Matthew Fernandez

Curtis Millar · Selçuk University

Achim D. Brucker · Data Assurance and Communication Security