• Computer Laboratory
• Research
• Security Group
• People
• Khilan Gudka

Khilan Gudka

I am a Research Associate in the Security Group at the University of Cambridge Computer Laboratory. Prior to this, I completed my PhD at the Department of Computing, Imperial College London. You can find my old page here for reference purposes.

Research interests

• Software compartmentalisation
• Static/dynamic program analysis
• Compilers/runtimes
• Capability systems
• Concurrency

Projects

SOAAP

Sandboxing technologies such as Capsicum and CHERI support the fine-grained compartmentalisation of large-scale applications such as web browsers and office suites, as well as multiple-component software such as the UNIX userspace. When deployed correctly, application compartmentalisation offers significant benefits by allowing policies to be imposed within applications, and in mitigating exploited vulnerabilities. However, application compartmentalisation remains an art rather than a science: identifying, implementing, and debugging partitioning strategies requires detailed expertise in both the application and security. SOAAP is exploring semi-automated techniques, grounded in static analysis, dynamic analysis, and automated program transformation, to improve the developer experience. This project is jointly funded by Google and DARPA, and takes place within the context of the CTSRD project.

Publications

• Towards a Theory of Application Compartmentalisation
  Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. Neumann, Ben Laurie
  Security Protocols Workshop, March 2013
• Lock Inference for Java
  Khilan Gudka
  PhD Thesis, Imperial College London, December 2012
• Exploring Compartmentalisation Hypotheses with SOAAP (Slides)
  Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy
  Workshop on Adaptive Host and Network Security (AHANS 2012), September 2012
• Lock Inference in the Presence of Large Libraries (Slides)
  Khilan Gudka, Tim Harris, Susan Eisenbach
  ECOOP 2012, June 2012
• Fast Multi-Level Locks for Java: A Preliminary Performance Evaluation (Slides)
  Khilan Gudka, Susan Eisenbach
  EC² 2010: Workshop on Exploiting Concurrency Efficiently and Correctly, July 2010
• Keep Off The Grass: Locking the Right Path for Atomicity (Slides)
  David Cunningham, Khilan Gudka, Susan Eisenbach
  Compiler Construction 2008, October 2008