Cited By
View all- Siapoush MAlves-Foss J(2023)Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?IEEE Access10.1109/ACCESS.2023.331603111(101750-101759)Online publication date: 2023
- Boender JBadevic G(2022)Formal Verification of a KeystoreTheoretical Aspects of Software Engineering10.1007/978-3-031-10363-6_4(49-64)Online publication date: 2022
- Qian ZLiu WYao Y(2021)Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOLIEEE Access10.1109/ACCESS.2020.30474119(2854-2863)Online publication date: 2021
- Show More Cited By