Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
The work
| Authors | Mohit Tiwari; Jason K. Oberg; Xun Li; Jonathan Valamehr; Timothy E. Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood |
|---|---|
| Editors | |
| Type | misc |
| Year | 2011 |
| Citekey | tiwari2011crafting |
Where it appeared
| Published in | Proceedings - International Symposium on Computer Architecture/Proceedings |
|---|---|
| Pages | 189--200 |
Identifiers
| DOI | 10.1145/2000064.2000087 |
|---|---|
| OpenAlex | W2151071112 |
Access
| Landing page | https://doi.org/10.1145/2000064.2000087 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. Crafting the core of such a system in a way that achieves flexibility, security, and performance requires a careful balancing act. Simple static primitives with hard partitions of space and time are easier to analyze formally, but strict approaches to the problem at the hardware level have been extremely restrictive, failing to allow even the simplest of dynamic behaviors to be expressed.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-23 18:52 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{tiwari2011crafting,
title = {Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security},
author = {Mohit Tiwari and Jason K. Oberg and Xun Li and Jonathan Valamehr and Timothy E. Levin and Ben Hardekopf and Ryan Kastner and Frederic T. Chong and Timothy Sherwood},
year = {2011},
journal = {Proceedings - International Symposium on Computer Architecture/Proceedings},
pages = {189--200},
doi = {10.1145/2000064.2000087},
}
This record lives at https://refs.drheap.org/tiwari2011crafting/ and will keep doing so.