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)
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
Amrutur, Bharadwaj; Sharma, Abhay; Babu, Arun; Rajaraman, Vasanth; Ramesh, Rakshit; Tejasvi, Poorna; Anand, SVR; Kumar, Chetan; Vaswani, Kapil;
Volos, Stavros; Vaswani, Kapil; Bruno, Rodrigo; , 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18), 681-696
Priebe, Christian; Vaswani, Kapil; Costa, Manuel; , 2018 IEEE Symposium on Security and Privacy (SP), 264-278
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
Parkinson, Matthew; Vytiniotis, Dimitrios; Vaswani, Kapil; Costa, Manuel; Deligiannis, Pantazis; McDermott, Dylan; Blankstein, Aaron; Balkind, Jonathan; , Proceedings of the ACM on Programming Languages, 45658
Vaswani, Kapil; Ramamurthy, Ravi; Venkatesan, Ramarathnam; , arXiv preprint arXiv:1605.01092
Sinha, Rohit; Costa, Manuel; Lal, Akash; Lopes, Nuno P; Rajamani, Sriram; Seshia, Sanjit A; Vaswani, Kapil; , ACM SIGPLAN Notices, 665-681
Ohrimenko, Olga; Schuster, Felix; Fournet, Cédric; Mehta, Aastha; Nowozin, Sebastian; Vaswani, Kapil; Costa, Manuel; , 25th USENIX Security Symposium (USENIX Security 16), 619-636
Madhavan, Ravichandhran; Ramalingam, G; Vaswani, Kapil; , Foundations and Trends® in Programming Languages, 269-381
Sinha, Rohit; Rajamani, Sriram; Seshia, Sanjit; Vaswani, Kapil; , Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 1169-1184
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)