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