Krishnaprasad Vikram (a.k.a. K. Vikram)
5157 Upson Hall
Department of Computer Science
Cornell University
Ithaca, NY 14853


Office Phone: 1-607-255-9834

 

I'm a Ph.D. student in the Computer Science department at Cornell University, . Prior to that, I was an undergraduate in the Computer Science and Engineering department at IIT Kanpur.

My research interests include Distributed Systems, Programming Languages and Security. I have a special taste for work that borders on theory and practice in these areas. I'm working with Prof. Andrew Myers on Language-based Security. More specifically, I am working on the Swift programming system, designed for convenient construction of secure web applications.

In the past, I have dabbled in other Systems (Networking, Operating Systems) and Artificial Intelligence (Natural Language Processing) projects.

 

Projects:
Swift Partitioning Java-like programs securely and efficiently to run as a web application
SIF Framework for building servlets in Jif
Fabric A federated, distributed storage and computing system
Jif Language based information flow security

 

Publications:

Owen Arden, Michael George, Jed Liu, K. Vikram, Aslan Askarov, and Andrew C. Myers. Sharing Mobile Code Securely With Information Flow Control. In Proceedings of the 2012 IEEE Symposium on Security and Privacy (Oakland)
Download: PDF

K. Vikram, Abhishek Prateek, Benjamin Livshits. Ripley: Automatically Securing Web 2.0 Applications Through Replicated Execution. In Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS'09)
Download: PDF
View: Ripley in the news

Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers. Fabric: A Platform for Secure Distributed Computation and Storage. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP'09)
Download: PDF
View: Fabric in the news

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng. Secure Web Applications via Automatic Partitioning. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07) , pages 31-44, October 2007. Best Paper Award
Download: PDF Presentation Slides
View: Swift in the news

Stephen Chong, K. Vikram, Andrew C. Myers. SIF: Enforcing Confidentiality and Integrity in Web Applications. In Proceedings of the 16th USENIX Security Symposium 2007 (USENIX Security'07) , pages 1-16, August 2007, Boston, MA.
Download: PDF

K. Vikram and Michael Steiner. Mashup Component Isolation via server-side analysis and instrumentation. In Web 2.0 Security & Privacy Workshop. IEEE Computer Society, Technical Committee on Security and Privacy, 2007
Download: PDF

Full List of Publications