|
|
|
|
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.  |
KISV@SOSP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangdong Chen, Zhaofeng Li 0004, Lukas Mesicek, Vikram Narayanan, Anton Burtsev |
Atmosphere: Towards Practical Verified Kernels in Rust. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramla Ijaz, Kevin Boos, Lin Zhong 0001 |
Leveraging Rust for Lightweight OS Correctness. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti |
The K2 Architecture for Trustworthy Hardware Security Modules. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023 |
KISV@SOSP |
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. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon Schuermann, Arun Thomas, Amit Levy |
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license