CHERI-picking: Leveraging capability hardware for prefetching S Patel, S Agrawal, A Fedorova, M Seltzer Proceedings of the 12th Workshop on Programming Languages and Operating …, 2023 | 4 | 2023 |
Securing Monolithic Kernels using Compartmentalization SY Lim, S Agrawal, X Han, D Eyers, D O'Keeffe, T Pasquier arXiv preprint arXiv:2404.08716, 2024 | | 2024 |
OSmosis: No more D\'ej\a vu in OS isolation S Agrawal, R Achermann, M Seltzer arXiv preprint arXiv:2309.09291, 2023 | | 2023 |
OSmosis: Modeling & Building Flexible OS Isolation Mechanisms S Agrawal, S Patel, R Achermann, M Seltzer | | 2023 |
Experience of running hybrid CHERI userspace on seL4 S Agrawal https://sid-agrawal.ca/sel4,/cheri,/morello,/aarch64,/cheribsd/2023/01/01 …, 2023 | | 2023 |