Author:
Nienhuis Kyndylan,Joannou Alexandre,Bauereiss Thomas,Fox Anthony,Roe Michael,Campbell Brian,Naylor Matthew,Norton Robert M.,Moore Simon W.,Neumann Peter G.,Stark Ian,Watson Robert N. M.,Sewell Peter
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Secure-by-component: A System-of-systems Design Paradigm for Securing Space Missions;2024 Security for Space Systems (3S);2024-05-27
2. Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP;Lecture Notes in Computer Science;2024
3. Kernel-as-a-Service;Proceedings of the 24th International Middleware Conference on ZZZ;2023-11-27
4. Digital Security by Design: A Review of Combined Hardware-Software-Based CyberSecurity with Compartmentalization;2023 IEEE International Workshop on Technologies for Defense and Security (TechDefense);2023-11-20
5. Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15