Inproceedings,
RedLeaf: Towards An Operating System for Safe and Verified Firmware.
V. Narayanan, M. Baranowski, L. Ryzhyk, Z. Rakamaric, and A. Burtsev.HotOS, page 37-44. ACM, (2019)
Meta data
- BibTeX key
- conf/hotos/NarayananBRRB19
- entry type
- inproceedings
- booktitle
- HotOS
- year
- 2019
- pages
- 37-44
- publisher
- ACM
- crossref
- conf/hotos/2019
- ee
- https://doi.org/10.1145/3317550.3321449
- isbn
- 978-1-4503-6727-1
- url
- http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#NarayananBRRB19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hotos/NarayananBRRB19
%A Narayanan, Vikram
%A Baranowski, Marek S.
%A Ryzhyk, Leonid
%A Rakamaric, Zvonimir
%A Burtsev, Anton
%B HotOS
%D 2019
%I ACM
%K dblp
%P 37-44
%T RedLeaf: Towards An Operating System for Safe and Verified Firmware.
%U http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#NarayananBRRB19
%@ 978-1-4503-6727-1
@inproceedings{conf/hotos/NarayananBRRB19,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Narayanan, Vikram and Baranowski, Marek S. and Ryzhyk, Leonid and Rakamaric, Zvonimir and Burtsev, Anton},
biburl = {https://www.bibsonomy.org/bibtex/204d516fd18695e613f7df1d28ce9a22f/dblp},
booktitle = {HotOS},
crossref = {conf/hotos/2019},
ee = {https://doi.org/10.1145/3317550.3321449},
interhash = {d87c720968b4d80c1f4868a0f2e93665},
intrahash = {04d516fd18695e613f7df1d28ce9a22f},
isbn = {978-1-4503-6727-1},
keywords = {dblp},
pages = {37-44},
publisher = {ACM},
timestamp = {2024-04-10T21:15:32.000+0200},
title = {RedLeaf: Towards An Operating System for Safe and Verified Firmware.},
url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#NarayananBRRB19},
year = 2019
}