A Security Analysis of CheriBSD and Morello Linux. - Dariy Guzairov; Alex Potanin; Stephen Kell; Alwen Tiu (CoRR, 2026)