Kapil Vaswani

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 17

Top Topics

Fair Exchange Protocols

Memory Management

Garbage Collection

Top Venues

USENIX Security Symposium

Publications

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code? Commun. ACM 67 (1) (2024)
Jinnan Guo, Peter R. Pietzuch, Andrew Paverd, Kapil Vaswani
Trustworthy AI using Confidential Federated Learning: Federated learning and confidential computing are not competing technologies. ACM Queue 22 (2) (2024)
Kapil Vaswani, Stavros Volos, Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson
Confidential Computing within an AI Accelerator. USENIX Annual Technical Conference (2023)
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy. ACM Queue 21 (4) (2023)
Kapil Vaswani, Stavros Volos, Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson
Confidential Machine Learning within Graphcore IPUs. CoRR (2022)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward confidential cloud computing. Commun. ACM 64 (6) (2021)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue 19 (1) (2021)
Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
DICE*: A Formally Verified Implementation of DICE Measured Boot. USENIX Security Symposium (2021)
Panagiotis Antonopoulos, Arvind Arasu, Kunal D. Singh, Ken Eguro, Nitish Gupta, Rajat Jain, Raghav Kaushik, Hanuma Kodavalla, Donald Kossmann, Nikolas Ogg, Ravi Ramamurthy, Jakub Szymaszek, Jeffrey Trimmer, Kapil Vaswani, Ramarathnam Venkatesan, Mike Zwilling
Azure SQL Database Always Encrypted. SIGMOD Conference (2020)
Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani
SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. FAST (2019)
Stavros Volos, Kapil Vaswani, Rodrigo Bruno
Graviton: Trusted Execution Environments on GPUs. OSDI (2018)
Christian Priebe, Kapil Vaswani, Manuel Costa
EnclaveDB: A Secure Database Using SGX. IEEE Symposium on Security and Privacy (2018)
Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind
Project snowflake: non-blocking safe manual memory management in .NET. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein
Simple, fast, and safe manual memory management. PLDI (2017)
Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan
Information Flows in Encrypted Databases. CoRR (2016)
Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
Oblivious Multi-Party Machine Learning on Trusted Processors. USENIX Security Symposium (2016)
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
A design and verification methodology for secure isolated regions. PLDI (2016)
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
Moat: Verifying Confidentiality of Enclave Programs. CCS (2015)
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1 (4) (2015)
Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard
Broom: Sweeping Out Garbage Collection from Big Data Systems. HotOS (2015)
Ganesan Ramalingam, Kapil Vaswani
Fault tolerance via idempotence. POPL (2013)
Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani
Asynchronous Resilient Linearizability. DISC (2013)
Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
Consistency in Distributed Systems (Dagstuhl Seminar 13081). Dagstuhl Reports 3 (2) (2013)
David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Mining quantified temporal rules: Formalism, algorithms, and evaluation. Sci. Comput. Program. 77 (6) (2012)
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
Modular Heap Analysis for Higher-Order Programs. SAS (2012)
Jose M. Falerio, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Generalized lattice agreement. PODC (2012)
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
DARWIN: An approach to debugging evolving programs. ACM Trans. Softw. Eng. Methodol. 21 (3) (2012)
Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
CScale - A Programming Model for Scalable and Reliable Distributed Applications. Monterey Workshop (2012)
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Logical Concurrency Control from Sequential Proofs Log. Methods Comput. Sci. 7 (3) (2011)
Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani
Purity Analysis: An Abstract Interpretation Formulation. SAS (2011)
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Logical Concurrency Control from Sequential Proofs. ESOP (2010)
Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani
Safe programmable speculative parallelism. PLDI (2010)
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
Differential static analysis: opportunities, applications, and challenges. FoSER (2010)
Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS (2009)
David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. WCRE (2009)
Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani
HOLMES: Effective statistical debugging via efficient path profiling. ICSE (2009)
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE (2009)
Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
Quantifying the effectiveness of testing via efficient residual path profiling. ESEC/SIGSOFT FSE (2007)
Aditya V. Nori, Trishul M. Chilimbi, Kapil Vaswani
Quantifying the effectiveness of testing via efficient residual path profiling. ESEC/SIGSOFT FSE (Companion) (2007)
Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph
Microarchitecture Sensitive Empirical Models for Compiler Optimizations. CGO (2007)
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
Preferential path profiling: compactly numbering interesting paths. POPL (2007)
P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil
Construction and use of linear regression models for processor performance analysis. HPCA (2006)
P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil
A Predictive Performance Model for Superscalar Processors. MICRO (2006)
Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant
A Programmable Hardware Path Profiler. CGO (2005)
Kapil Vaswani, Y. N. Srikant
Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler. IEE Proc. Softw. 150 (5) (2003)