 |
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: |
|
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers.
Fabric: A Platform for Secure Distributed Computation and Storage.
To Appear In Proceedings of the 21st 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 USENIX Security Symposium 2007
, 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 |
|
K. Vikram, Kumar Avijit, Sanjeev Kumar Aggarwal. olyMPIx: A Tool for
Automatic Program Parallelization using MPI on Computational Grids. In
Proceedings of the International Conference on Parallel and Distributed Computing
and Networks, pages 307-312, February 2005. |
| Full List of Publications |
