seL4 on RISC-V - Developing High Assurance Platforms with Modular Open-Source Architectures

Doran, Michael A, Jr

Back to search

Grand Valley State University

seL4 on RISC-V - Developing High Assurance Platforms with Modular Open-Source Architectures

dc:creator Doran, Michael A, Jr

thesis:degree_name Engineering (M.S.E.)

Degree

thesis:*

Name thesis:degree_name: Engineering (M.S.E.)
Level thesis:degree_level: Thesis

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Doran, Michael A, Jr
Contributors dc:contributor: Dr. Nabeeh Kandalft
Dr. Chirag Parikh
Dr. Byron Devries

Subjects

dc:subject × 10

Identifiers

dc:identifier.*

Repository record dc:identifier: https://scholarworks.gvsu.edu/theses/1106
OAI record oai:identifier: https://scholarworks.gvsu.edu/do/oai/?verb=GetRecord&metadataPrefix=oai_etdms&identifier=oai%3Ascholarworks.gvsu.edu%3Atheses-2109

Chain of custody

source

Harvested from: Grand Valley State University
Base URL: scholarworks.gvsu.edu/do/oai/
Last updated: 2026-08-21
Source record: OAI-PMH GetRecord

related terms

citation

Doran, Michael A, Jr. seL4 on RISC-V - Developing High Assurance Platforms with Modular Open-Source Architectures. Thesis thesis, https://scholarworks.gvsu.edu/theses/1106

seL4 on RISC-V - Developing High Assurance Platforms with Modular Open-Source Architectures

Degree

Author and committee

Subjects

Identifiers

Chain of custody

More from Grand Valley State University