A Security Analysis of CheriBSD and Morello Linux

Lecture notes in computer science 2026 Open access

Read full text

Authors: Dariy Guzairov, Alex Potanin, Stephen Kell, Alwen Fernanto Tiu

DOI: 10.1007/978-3-032-38692-2_31

Cited by: 0

Fields of Study & Subjects

Security and Verification in Computing Logic programming and type systems Real-Time Systems Scheduling