| Verus: Verifying rust programs using linear ghost types A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023 | 57 | 2023 |
| First steps in verifying the seL4 Core Platform M Paturel, I Subasinghe, G Heiser Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 9-15, 2023 | 4 | 2023 |
| Verus: Verifying Rust Programs using Linear Ghost Types (extended version) A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... arXiv preprint arXiv:2303.05491, 2023 | 3 | 2023 |
| the seL4 Microkit T Weibel, ZA Kocsis, M Paturel, R Sison, I Subasinghe, G Heiser | | 2024 |
| the seL4 Microkit ZA Kocsis, M Paturel, I Subasinghe, T Weibel, G Heiser | | 2023 |
