Khilan Gudka

Papers

Total Citations

H-Index

About

Khilan Gudka is a leading researcher in computer security, with a primary focus on memory safety and capability-based architectures for embedded systems. His most influential work, "CheriRTOS: A Capability Model for Embedded Devices" (2018, 20 citations), introduces a transformative approach to defending increasingly connected embedded devices—from automotive and medical systems to robotics and avionics—against sophisticated cyberattacks. By integrating CHERI (Capability Hardware Enhanced RISC Instructions) capabilities into a real-time operating system, Gudka demonstrated how fine-grained memory protection can be achieved without sacrificing performance, effectively closing critical attack surfaces. This contribution is foundational to the broader CHERI project, which aims to fundamentally redesign how memory is managed in hardware and software. Gudka’s research directly addresses the growing vulnerability of ubiquitous embedded devices, offering a practical, deployable solution that balances security with the real-time constraints of critical infrastructure. His work continues to influence both academic research and industry efforts toward safer, more resilient computing systems.