![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
KISV@SOSP 2023: Koblenz, Germany
- Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023. ACM 2023
- Ramla Ijaz
, Kevin Boos
, Lin Zhong
:
Leveraging Rust for Lightweight OS Correctness. 1-8 - Xiangdong Chen
, Zhaofeng Li
, Lukas Mesicek
, Vikram Narayanan
, Anton Burtsev
:
Atmosphere: Towards Practical Verified Kernels in Rust. 9-17 - Ben Fiedler
, Roman Meier
, Jasmin Schult
, Daniel Schwyn
, Timothy Roscoe
:
Specifying the de-facto OS of a production SoC. 18-25 - Anish Athalye
, M. Frans Kaashoek
, Nickolai Zeldovich
, Joseph Tassarotti
:
The K2 Architecture for Trustworthy Hardware Security Modules. 26-32 - 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. 33-40 - Leon Schuermann
, Arun Thomas
, Amit Levy
:
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. 41-48
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.