|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yi Chien, Vlad-Andrei Badoiu, Yudi Yang, Yuqian Huo, Kelly Kaoudis, Hugo Lefeuvre, Pierre Olivier, Nathan Dautenhahn |
CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 33-40, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiangdong Chen, Zhaofeng Li 0004, Lukas Mesicek, Vikram Narayanan, Anton Burtsev |
Atmosphere: Towards Practical Verified Kernels in Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 9-17, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ramla Ijaz, Kevin Boos, Lin Zhong 0001 |
Leveraging Rust for Lightweight OS Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti |
The K2 Architecture for Trustworthy Hardware Security Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 26-32, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe |
Specifying the de-facto OS of a production SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 18-25, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Leon Schuermann, Arun Thomas, Amit Levy |
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 41-48, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|