 |
Krishnaprasad Vikram
(a.k.a. K. Vikram) 4110 Upson Hall Department of Computer Science Cornell University Ithaca, NY 14853
|
|
|
Krishnaprasad Vikram
(a.k.a. K. Vikram) 4110 Upson Hall Department of Computer Science Cornell University Ithaca, NY 14853
|
| 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)
(to appear) |
|
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)
|
|
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)
|
|
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 |
|
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. |
|
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 |
| Full List of Publications |
