Cited By
View all- Woodruff JJoannou AXia HFox ANorton RChisnall DDavis BGudka KFilardo NMarkettos ARoe MNeumann PWatson RMoore S(2019)CHERI Concentrate: Practical Compressed CapabilitiesIEEE Transactions on Computers10.1109/TC.2019.291403768:10(1455-1469)Online publication date: 1-Oct-2019
- Novikov EZakharov I(2018)Verification of Operating System Monolithic Kernels Without ExtensionsLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice10.1007/978-3-030-03427-6_19(230-248)Online publication date: 5-Nov-2018
- Azevedo de Amorim ACollins NDeHon ADemange DHriţcu CPichardie DPierce BPollack RTolmach A(2016)A verified information-flow architectureJournal of Computer Security10.3233/JCS-1578424:6(689-734)Online publication date: 1-Dec-2016
- Show More Cited By