Formal CHERI: rigorous engineering and design-time proof of full-scale architecture security properties lightbluetouchpaper.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from lightbluetouchpaper.org Daily Mail and Mail on Sunday newspapers.