Murali Vijayaraghavan

Biography

Murali is a formal methods and security researcher at

Google.

CHERI Talks

Rigorous Hardware-Software Codesign for Secure Compartmentalization on Embedded Devices | CHERITech’25

14/11/2025

Manchester, UK

View Slides

View Video