Vaswani, Kapil
53  results:
Search for persons X
?
2

Why Should I Trust Your Code?:

Delignat-Lavaud, Antoine ; Fournet, Cédric ; Vaswani, Kapil...
Communications of the ACM.  67 (2023)  1 - p. 68-76 , 2023
 
?
4

Toward confidential cloud computing:

Russinovich, Mark ; Costa, Manuel ; Fournet, Cédric...
Communications of the ACM.  64 (2021)  6 - p. 54-61 , 2021
 
?
6

Toward confidential cloud computing:

Russinovich, Mark ; Costa, Manuel ; Fournet, Cédric...
Communications of the ACM.  64 (2021)  6 - p. 54-61 , 2021
 
?
8

Azure SQL Database Always Encrypted:

, In: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data,
 
?
9

Graviton : trusted execution environments on GPUs:

, In: Proceedings of the 13th USENIX conference on Operating Systems Design and Implementation,
Volos, Stavros ; Vaswani, Kapil ; Bruno, Rodrigo - p. 681-696 , 2018
 
?
10

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-25 , 2017
 
?
11

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-25 , 2017
 
?
 
?
13

Simple, fast, and safe manual memory management:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Kedia, Piyus ; Costa, Manuel ; Parkinson, Matthew... - p. 233-247 , 2017
 
?
14

A design and verification methodology for secure isolated r..:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Sinha, Rohit ; Costa, Manuel ; Lal, Akash... - p. 665-681 , 2016
 
1-15