Gaurav S. Kc - Curriculum Vitae

Columbia University
450 Computer Science Department
1214 Amsterdam Avenue, MC 0401
New York, NY 10027
Tel: (212) 939-7085
Fax: (212) 666-0140
gskc AT


Research Interests

Honors and Awards

Professional Activities

Research Experience



  1. e-NeXSh: Achieving an Effectively Non-Executable Stack and Heap via System-Call Policing
    Gaurav S. Kc, Angelos D. Keromytis
    In Proceedings of the 21st Annual Computer Security Applications Conference, December 2005
  2. Countering Code-Injection Attacks With Instruction-Set Randomization
    Gaurav S. Kc, Angelos D. Keromytis, Vassilis Prevelakis
    In Proceedings of the 10th ACM Conference on Computer and Communications Security, October 2003
  3. An Approach to Autonomizing Legacy Systems
    Gail Kaiser, Phil Gross, Gaurav Kc, Janak Parekh, Giuseppe Valetto
    In Proceedings of the Workshop on Self-Healing, Adaptive and self-MANaged Systems, June 2002
  4. An Active Events Model for System Monitoring
    Philip N. Gross, Suhit Gupta, Gail E. Kaiser, Gaurav S. Kc, Janak J. Parekh
    In Working Conference on Complex and Dynamic Systems Architecture, December 2001
  5. A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems
    Giuseppe Valetto, Gail Kaiser, and Gaurav S. Kc
    In Proceedings of the 8th European Workshop on Software Process Technology, June 2001

Technical Papers

  1. Dissertation: Defending Software Against Process-Subversion Attacks
    Gaurav S. Kc
    Ph.D. Dissertation. Columbia University, April 2005
  2. Security and Privacy Issues in Machine Readable Travel Documents (MRTDs)
    Gaurav S. Kc, Paul A. Karger
    IBM Technical Report (RC 23575), IBM T. J. Watson Research Labs, April 2005
  3. Thesis Proposal: How to Create Secure Runtime Environments for Software
    Gaurav S. Kc
    Ph.D. Thesis Proposal, Columbia University, New York, December 2003
  4. Caller-ID: Caller Validation as a Technique to Detect Process Compromise
    Alfred V. Aho, Gaurav S. Kc
    Technical Report, Department of Computer Science, Columbia University, November 2003
  5. Survivor: An Approach for Adding Dependability to Legacy Workflow Systems
    Jean-Denis Greze, Gail E. Kaiser, Gaurav S. Kc
    Technical Report CUCS-026-02, Department of Computer Science, Columbia University, December 2002
  6. CASPER: Compiler-Assisted Securing of Programs at Runtime
    Gaurav S. Kc, Stephen A. Edwards, Gail E. Kaiser, Angelos D. Keromytis
    Technical Report CUCS-025-02, Department of Computer Science, Columbia University, November 2002
  7. Java: Semantics and Type Soundness
    Gaurav S. Kc
    Undergraduate Thesis, Imperial College, London, June 1999

Teaching Experience

Technical Experience