Kapil Vaswani

Kapil Vaswani
Founder

Kapil Vaswani is the founder of SPARC. He is a security researcher with 18 years of experience in research spanning computer architecture, programming languages, systems, hardware security, and AI security. At Microsoft Research, he led research on problems in confidential computing, privacy-preserving AI, database security, supply chain security and formally verified hardware. His research has been published in many top tier conferences such as POPL, PLDI, ASPLOS, MICRO, OSDI, Oakland and USENIX Security. His work directly led to several products at Microsoft including SQL Server Always Encrypted, Azure Confidential GPU VMs, Azure AI Confidential Inferencing, Azure Confidential Clean Rooms, and Ad Selection API. In his capacity as a volunteer with iSPIRT, he has led the development of the DEPA Inferencing and Training Framework. Kapil Vaswani has a Masters and PhD from the Indian Institute of Science, Bangalore.

Selected Publications

Transparent Attested DNS for Confidential Computing Services

Delignat-Lavaud, Antoine; Fournet, Cédric; Vaswani, Kapil; Costa, Manuel; Clebsch, Sylvan; Wintersteiger, Christoph M; , arXiv preprint arXiv:2503.14611

Trustworthy AI using confidential federated learning

Guo, Jinnan; Pietzuch, Peter; Paverd, Andrew; Vaswani, Kapil; , Communications of the ACM, 48-53

ExclaveFL: Providing Transparency to Federated Learning using Exclaves

Guo, Jinnan; Vaswani, Kapil; Paverd, Andrew; Pietzuch, Peter; , arXiv preprint arXiv:2412.10537

Why should I trust your code?

Delignat-Lavaud, Antoine; Fournet, Cédric; Vaswani, Kapil; Clebsch, Sylvan; Riechert, Maik; Costa, Manuel; Russinovich, Mark; , Communications of the ACM, 68-76

Confidential computing within an {AI} accelerator

Vaswani, Kapil; Volos, Stavros; Fournet, Cédric; Diaz, Antonio Nino; Gordon, Ken; Vembu, Balaji; Webster, Sam; Chisnall, David; Kulkarni, Saurabh; Cunningham, Graham; , 2023 USENIX Annual Technical Conference (USENIX ATC 23), 501-518

Toward confidential cloud computing

Russinovich, Mark; Costa, Manuel; Fournet, Cédric; Chisnall, David; Delignat-Lavaud, Antoine; Clebsch, Sylvan; Vaswani, Kapil; Bhatia, Vikas; , Communications of the ACM, 54-61

Azure SQL database always encrypted

Antonopoulos, Panagiotis; Arasu, Arvind; Singh, Kunal D; Eguro, Ken; Gupta, Nitish; Jain, Rajat; Kaushik, Raghav; Kodavalla, Hanuma; Kossmann, Donald; Ogg, Nikolas; , Proceedings of the 2020 ACM SIGMOD international conference on management of data, 1511-1525

{SPEICHER}: Securing {LSM-based}{Key-Value} Stores using Shielded Execution

Bailleu, Maurice; Thalheim, Jörg; Bhatotia, Pramod; Fetzer, Christof; Honda, Michio; Vaswani, Kapil; , 17th USENIX Conference on File and Storage Technologies (FAST 19), 173-190

Data Exchange Framework: A Reference Architecture for the India Urban Data eXchange (IUDX)

Amrutur, Bharadwaj; Sharma, Abhay; Babu, Arun; Rajaraman, Vasanth; Ramesh, Rakshit; Tejasvi, Poorna; Anand, SVR; Kumar, Chetan; Vaswani, Kapil;

Graviton: Trusted execution environments on {GPUs}

Volos, Stavros; Vaswani, Kapil; Bruno, Rodrigo; , 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18), 681-696

EnclaveDB: A secure database using SGX

Priebe, Christian; Vaswani, Kapil; Costa, Manuel; , 2018 IEEE Symposium on Security and Privacy (SP), 264-278

Simple, fast, and safe manual memory management

Kedia, Piyus; Costa, Manuel; Parkinson, Matthew; Vaswani, Kapil; Vytiniotis, Dimitrios; Blankstein, Aaron; , Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 233-247

Project snowflake: Non-blocking safe manual memory management in. net

Parkinson, Matthew; Vytiniotis, Dimitrios; Vaswani, Kapil; Costa, Manuel; Deligiannis, Pantazis; McDermott, Dylan; Blankstein, Aaron; Balkind, Jonathan; , Proceedings of the ACM on Programming Languages, 45658

Information Flows in Encrypted Databases

Vaswani, Kapil; Ramamurthy, Ravi; Venkatesan, Ramarathnam; , arXiv preprint arXiv:1605.01092

A design and verification methodology for secure isolated regions

Sinha, Rohit; Costa, Manuel; Lal, Akash; Lopes, Nuno P; Rajamani, Sriram; Seshia, Sanjit A; Vaswani, Kapil; , ACM SIGPLAN Notices, 665-681

Oblivious {Multi-Party} machine learning on trusted processors

Ohrimenko, Olga; Schuster, Felix; Fournet, Cédric; Mehta, Aastha; Nowozin, Sebastian; Vaswani, Kapil; Costa, Manuel; , 25th USENIX Security Symposium (USENIX Security 16), 619-636

A framework for efficient modular heap analysis

Madhavan, Ravichandhran; Ramalingam, G; Vaswani, Kapil; , Foundations and Trends® in Programming Languages, 269-381

Moat: Verifying confidentiality of enclave programs

Sinha, Rohit; Rajamani, Sriram; Seshia, Sanjit; Vaswani, Kapil; , Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 1169-1184

Broom: Sweeping out garbage collection from big data systems

Gog, Ionel; Giceva, Jana; Schwarzkopf, Malte; Vaswani, Kapil; Vytiniotis, Dimitrios; Ramalingam, Ganesan; Costa, Manuel; Murray, Derek G; Hand, Steven; Isard, Michael; , 15th Workshop on Hot Topics in Operating Systems (HotOS XV)