I am a researcher with the Systems and Networking group at Microsoft Research. I am broadly interested in systems security and programming language abstractions for building secure, robust applications. I graduated from the department of Computer Science and Automation at the Indian Institute of Science where I worked on efficient and accurate profiling and performance modelling techniques.
One of the barriers to adoption cloud database technologies is data security and privacy. Data is a valuable asset to most organizations and storing the data in the cloud is often perceived as a security risk. This project investigates mechanisms to address such data security concerns. In particular, the goal of the project is to research, design, and build a comprehensive database system that offers strong confidentiality and integrity properties without compromising functionality or performance. A part of this research has been implemented in a SQL Server feature called Always Encrypted. Always Encrypted enables columns in a SQL Server database to be encrypted and supports transparent execution of queries against encrypted columns without requiring the encryption keys to be revealed to the server.
|CScale is a programming model that simplifies the task of writing consistent and highly available distributed applications. CScale applications have simple semantics that enables local reasoning, and testing and debugging on the single machine. CScale manages all aspects of execution of a CScale application on a large clusters, including deployment and state management (replication and data partitioning).|
- Rohit Sinha, Manuel Costa, Akash Lal, Nuno Lopes, Sanjit Seshia, Sriram Rajamani, and Kapil Vaswani, A Design and Verification Methodology for Secure Isolated Regions, in Programming Languages Design and Implementation (PLDI), ACM – Association for Computing Machinery, June 2016.
- Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani, Moat: Verifying Confidentiality of Enclave Programs, in The ACM Conference on Computer and Communications Security (CCS), ACM – Association for Computing Machinery, October 2015.
- Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Murray, Steven Hand, and Michael Isard, Broom: Sweeping out Garbage Collection From Big Data Systems, in Workshop on Hot Topics in Operating Systems (HotOS), USENIX – Advanced Computing Systems Association, May 2015.
- Ravichandhran Madhavan, G. Ramalingam, and Kapil Vaswani, A Framework for Efficient Modular Heap Analysis, in Foundations and Trends in Programming Languages, vol. 1, no. 4, January 2015.
- Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, and Kapil Vaswani, Asynchronous Resilient Linearizability, in International Symposium on Distributed Computing (DISC), October 2013.
- Ken Eguro, Kaushik Rajan, Ravi Ramamurthy, Kapil Vaswani, and Ramarathnam Venkatesan, Migration to the Cloud Made Safe and Secure, in Off the Beaten Track (OBT) Workshop, ACM, January 2013.
- G Ramalingam and Kapil Vaswani, Fault Tolerance via Idempotence, in Principles of Programming Languages (POPL), ACM, January 2013.
- Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Modular Heap Analysis For Higher Order Programs, in Static Analysis Symposium (SAS), September 2012.
- Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G Ramalingam, and Kapil Vaswani, Generalized Lattice Agreement, in Principles of Distributed Computing (PODC), ACM, July 2012.
- Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Purity Analysis: An Abstract Interpretation Formulation, in Proceedings of Static Analysis Symposium (SAS), September 2011.
|Speculate - Language extensions for speculative parallelism|
|WYPIWYG - Inferring concurrency control from sequential proofs|
|Isolator - Dynamically enforcing isolation in concurrent programs|
|Darwin - Software fault localization using program versions|
|Preferential Path Profiling - An approach for improving the efficiency of collecting path coverage data|
|Seal - Side Effects Analysis for .NET|