Viktor Reusch, Nils Asmussen, Michael Roitzsch. Robust and Immediate Resource Reclamation with M3. In Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, KISV 2024, Austin, TX, USA, November 3-6, 2024. pages 1-7, ACM, 2024. [doi]
@inproceedings{ReuschAR24,
title = {Robust and Immediate Resource Reclamation with M3},
author = {Viktor Reusch and Nils Asmussen and Michael Roitzsch},
year = {2024},
doi = {10.1145/3698576.3698763},
url = {https://doi.org/10.1145/3698576.3698763},
researchr = {https://researchr.org/publication/ReuschAR24},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, KISV 2024, Austin, TX, USA, November 3-6, 2024},
publisher = {ACM},
isbn = {979-8-4007-1301-9},
}