Cited By
View all- Seo JYou JCho YCho YKwon DPaek Y(2023)Sfitag: Efficient Software Fault Isolation with Memory Tagging for ARM Kernel ExtensionsProceedings of the 2023 ACM Asia Conference on Computer and Communications Security10.1145/3579856.3590341(469-480)Online publication date: 10-Jul-2023
- Duan JYang YZhou JCriswell J(2020)Refactoring the FreeBSD Kernel with Checked C2020 IEEE Secure Development (SecDev)10.1109/SecDev45635.2020.00018(15-22)Online publication date: Sep-2020
- Cortinas CVassena MRusso A(2020)Securing Asynchronous Exceptions2020 IEEE 33rd Computer Security Foundations Symposium (CSF)10.1109/CSF49147.2020.00023(214-229)Online publication date: Jun-2020
- Show More Cited By