Gaurav S. Kc

Gaurav S. Kc

Columbia University
450 Computer Science
1214 Amsterdam Avenue, MC 0401
New York, NY 10027

Who am I?
- A Ph.D. student in the Computer Science Department at Columbia University
What are my research interests?
- Security of software systems, Compilers, Program execution environments, Programming language implementations.
When did I join?
- September 1999
Do you want to look at my code ?
Check out my page of links, and my other pages at gskc.com and gauravskc.com.

Curriculum Vitae link, Research statement link
Papers
- [pdf ps] Ph.D. Dissertation: Defending Software Against Process-Subversion Attacks.
- [url] Security and Privacy Issues in Machine Readable Travel Documents (MRTDs). IBM Technical Report (RC 23575]
- [pdf ps] e-NeXSh: Achieving an Effectively Non-Executable Stack and Heap via System-Call Policing.ACSAC '05
- [pdf ps] Ph.D. Thesis Proposal: How to Create Secure Runtime Environments for Software
- [pdf ps] Caller-ID: Caller Validation as a Technique to Detect Process Compromise.Technical Report
- [pdf ps] Countering Code-Injection Attacks With Instruction-Set Randomization. ACM CCS '03
- [pdf ps] Survivor: An Approach for Adding Dependability to Legacy Workflow Systems. TR CUCS-026-02
- [pdf ps] CASPER: Compiler-Assisted Securing of Programs at Runtime. TR CUCS-025-02
- [pdf ps] An Approach to Autonomizing Legacy Systems. SHAMAN '02
- [pdf ps] An Active Events Model for System Monitoring. CDSA '01
- [pdf ps] A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems. EWSPT '01
- [pdf ps] Java: Semantics and Type Soundness

Presentations
- [ppt pdf] Paper presented at the Annual Computer Security Applications Conference, ACSAC '05
  e-NeXSh: OS Fortification. Protecting Software from Internet Malware
- [ppt pdf] Ph.D. Thesis Defence (April 2005)
  Defending Software Against Process-Subversion Attacks
- [ppt pdf] Research presentation at IBM Research, Hawthorne (August 2004)
  Biometric Passports? Automated Border Control? ICAO isn't ready for MRTDs, yet!
- [ppt pdf] Ph.D. Thesis Proposal (December 2003)
  How to Create Secure Runtime Environments for Software
- [ppt pdf] Paper presented at the ACM Computer and Communications Security Conference, ACM CCS '03
  Countering Code-Injection Attacks With Instruction-Set Randomization
- [ppt pdf] Survey presentation at the Languages & Compilers meeting
  Meta-level Compilation, Dawson Engler
- [ppt pdf] Research presentation at IBM Research, Hawthorne (August 2003)
  A Smarter Compiler for a Smarter Card
- [ppt pdf] Research presentation in Compilers class (April 2003): Compilers and Software Security
- [ppt pdf] Research presentation in lab: Codiva - Casper, RiSA
- [ppt pdf] Research presentation in lab: Worklets, Casper
- [ppt pdf] Candidacy exam (September 2002): Autonomic Systems
- [ppt pdf] Research Presentation in Workflow-Architectures Workshop, Columbia University (July 2001)
  Worklets for Survivable Workflow
- [ppt pdf] Undergraduate research (June 1999): Java: Semantics and Type Soundness