×

Bhargavan, Karthikeyan

Author ID: bhargavan.karthikeyan Recent zbMATH articles by "Bhargavan, Karthikeyan"
Published as: Bhargavan, Karthikeyan
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 84 times in 72 Documents Cited by Year
Proving the TLS handshake secure (as it is). Zbl 1334.94060
Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago
14
2014
Formal verification of standards for distance vector routing protocols. Zbl 1326.68039
Bhargavan, Karthikeyan; Obradovic, Davor; Gunter, Carl A.
14
2002
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
14
2011
Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038
Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago
10
2016
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
5
2004
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
5
2010
Routing information protocol in HOL/SPIN. Zbl 0974.68010
Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
2
2000
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
2
2004
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
2
2014
Network event recognition. Zbl 1083.68001
Bhargavan, Karthikeyan; Gunter, Carl A.
1
2005
What packets may come: automata for network monitoring. Zbl 1323.68199
Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A.
1
2001
Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038
Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago
10
2016
Proving the TLS handshake secure (as it is). Zbl 1334.94060
Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago
14
2014
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
2
2014
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
14
2011
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
5
2010
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
Network event recognition. Zbl 1083.68001
Bhargavan, Karthikeyan; Gunter, Carl A.
1
2005
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
5
2004
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
2
2004
Formal verification of standards for distance vector routing protocols. Zbl 1326.68039
Bhargavan, Karthikeyan; Obradovic, Davor; Gunter, Carl A.
14
2002
What packets may come: automata for network monitoring. Zbl 1323.68199
Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A.
1
2001
Routing information protocol in HOL/SPIN. Zbl 0974.68010
Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
2
2000
all top 5

Cited by 171 Authors

6 Jager, Tibor
4 Bhargavan, Karthikeyan
4 Fournet, Cédric
4 Ghassemi, Fatemeh
3 Basin, David A.
3 Brzuska, Chris
3 Dezani-Ciancaglini, Mariangiola
3 Gordon, Andrew D.
3 Günther, Felix
3 Padovani, Luca
3 Thiemann, Peter J.
3 Yoshida, Nobuko
2 Abrial, Jean-Raymond
2 Barthe, Gilles
2 Caires, Luís
2 Coppo, Mario
2 Delignat-Lavaud, Antoine
2 Diemert, Denis
2 Dowling, Benjamin
2 Fokkink, Willem Jan
2 Hale, Britta
2 Hoang, Thai Son
2 Höfner, Peter
2 Kobayashi, Naoki
2 Kohbrok, Konrad
2 Kohlweiss, Markulf
2 Kuruma, Hironobu
2 Lauer, Sebastian
2 Lepigre, Rodolphe
2 Lochbihler, Andreas
2 Movaghar, Ali
2 Nanz, Sebastian
2 Pironti, Alfredo
2 Schwenk, Jorg
2 Sisto, Riccardo
2 Stebila, Douglas
2 Toninho, Bernardo
2 van Glabbeek, Robert Jan
1 Almousa, Omar
1 Avalle, Matteo
1 Aviram, Nimrod
1 Baillot, Patrick
1 Bartoletti, Massimo
1 Betarte, Gustavo
1 Bettassa Copet, Piergiuseppe
1 Bi, Xuan
1 Bichhawat, Abhishek
1 Blanchet, Bruno
1 Boldyreva, Alexandra
1 Borgström, Johannes
1 Breitner, Joachim
1 Bres, Emile
1 Bugliesi, Michele
1 Calzavara, Stefano
1 Campo, Juan Diego
1 Carbone, Marco
1 Carpineti, Samuele
1 Castellani, Ilaria
1 Chen, Shan
1 Chen, Yulong
1 Chevalier, Yannick
1 Cohen, Joshua M.
1 Dagand, Pierre-Evariste
1 Dal Lago, Ugo
1 Datta, Anupam
1 Davis, Hannah
1 De Caro, Angelo
1 de Kock, Bor
1 Deniélou, Pierre-Malo
1 Egger, Christoph
1 Espensen, Kristian L.
1 Fallah, Mehran S.
1 Fischlin, Marc
1 Focardi, Riccardo
1 Foster, Jeffrey S.
1 Franklin, Jason
1 Garg, Deepak
1 Gellert, Kai
1 Ghilezan, Silvia
1 Gjøsteen, Kristian
1 Guéneau, Armaël
1 Gunter, Carl A.
1 Hankin, Chris L.
1 Harris, William R.
1 Honda, Kohei
1 Hosseyni, Pedram
1 Igarashi, Atsushi
1 Iovino, Vincenzo
1 Jacobsen, Håkon
1 Jagielski, Matthew
1 Jero, Samuel
1 Jha, Somesh
1 Johnson, James E.
1 Jonsson, Bengt
1 Kaynar, Dilsun Kırlı
1 Khosravi, Ramtin
1 Kim, Moonzoo
1 Kjeldsen, Mads K.
1 Kohlar, Florian
1 Kristensen, Lars Michael
...and 71 more Authors

Citations by Year