Edit Profile (opens in new tab) Bhargavan, Karthikeyan Compute Distance To: Compute Author ID: bhargavan.karthikeyan Published as: Bhargavan, Karthikeyan External Links: MGP Documents Indexed: 19 Publications since 2000 1 Contribution as Editor Co-Authors: 34 Co-Authors with 20 Joint Publications 556 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Fournet, Cédric 6 Gordon, Andrew D. 5 Strub, Pierre-Yves 4 Gunter, Carl A. 4 Swamy, Nikhil 3 Chen, Juan 2 Delignat-Lavaud, Antoine 2 Kohlweiss, Markulf 2 Obradovic, Davor 2 Rastogi, Aseem 2 Yang, Jean 2 Zanella Béguelin, Santiago 1 Bichhawat, Abhishek 1 Bierman, Gavin M. 1 Chandra, Satish 1 Forest, Simon 1 Hosseyni, Pedram 1 Hriţcu, Cătălin 1 Keller, Chantal 1 Kobeissi, Nadim 1 Krishna, Nishith 1 Küsters, Ralf 1 McCann, Peter J. 1 Naldurg, Prasad 1 Oswald, Elisabeth 1 Pironti, Alfredo 1 Prabhakaran, Manoj M. 1 Pucella, Riccardo 1 Quoc Huy Do 1 Schmitz, Guido 1 Shapiro, Marc 1 Tse, Stephen 1 Würtele, Tim 1 Zinzindohoue, Jean-Karim Serials 1 Theoretical Computer Science 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Journal of the ACM 1 Lecture Notes in Computer Science Fields 17 Computer science (68-XX) 8 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 72 times in 60 Documents Cited by ▼ Year ▼ Secure distributed programming with value-dependent types. Zbl 1323.68229Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 12 2011 Formal verification of standards for distance vector routing protocols. Zbl 1326.68039Bhargavan, Karthikeyan; Obradovic, Davor; Gunter, Carl A. 11 2002 Proving the TLS handshake secure (as it is). Zbl 1334.94060Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago 10 2014 Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038Swamy, 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 9 2016 Secure distributed programming with value-dependent types. Zbl 1290.68033Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 7 2013 Verified interoperable implementations of security protocols. Zbl 1137.68323Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen 6 2007 Modular verification of security protocol code by typing. Zbl 1312.68052Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 5 2010 TulaFale: a security tool for web services. Zbl 1104.68306Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo 4 2004 A semantics for web services authentication. Zbl 1325.68140Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 2 2004 Routing information protocol in HOL/SPIN. Zbl 0974.68010Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor 2 2000 Gradual typing embedded securely in JavaScript. Zbl 1284.68108Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin 2 2014 What packets may come: automata for network monitoring. Zbl 1323.68199Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A. 1 2001 Network event recognition. Zbl 1083.68001Bhargavan, Karthikeyan; Gunter, Carl A. 1 2005 Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038Swamy, 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 9 2016 Proving the TLS handshake secure (as it is). Zbl 1334.94060Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago 10 2014 Gradual typing embedded securely in JavaScript. Zbl 1284.68108Swamy, 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.68033Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 7 2013 Secure distributed programming with value-dependent types. Zbl 1323.68229Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 12 2011 Modular verification of security protocol code by typing. Zbl 1312.68052Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 5 2010 Verified interoperable implementations of security protocols. Zbl 1137.68323Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen 6 2007 Network event recognition. Zbl 1083.68001Bhargavan, Karthikeyan; Gunter, Carl A. 1 2005 TulaFale: a security tool for web services. Zbl 1104.68306Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo 4 2004 A semantics for web services authentication. Zbl 1325.68140Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 2 2004 Formal verification of standards for distance vector routing protocols. Zbl 1326.68039Bhargavan, Karthikeyan; Obradovic, Davor; Gunter, Carl A. 11 2002 What packets may come: automata for network monitoring. Zbl 1323.68199Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A. 1 2001 Routing information protocol in HOL/SPIN. Zbl 0974.68010Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor 2 2000 all cited Publications top 5 cited Publications all top 5 Cited by 144 Authors 4 Bhargavan, Karthikeyan 4 Ghassemi, Fatemeh 4 Jager, Tibor 3 Basin, David A. 3 Dezani-Ciancaglini, Mariangiola 3 Fournet, Cédric 3 Gordon, Andrew D. 3 Padovani, Luca 3 Thiemann, Peter J. 3 Yoshida, Nobuko 2 Abrial, Jean-Raymond 2 Barthe, Gilles 2 Brzuska, Chris 2 Coppo, Mario 2 Diemert, Denis 2 Dowling, Benjamin 2 Fokkink, Willem Jan 2 Hoang, Thai Son 2 Höfner, Peter 2 Kuruma, Hironobu 2 Lochbihler, Andreas 2 Movaghar, Ali 2 Nanz, Sebastian 2 Pironti, Alfredo 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 Borgström, Johannes 1 Breitner, Joachim 1 Bres, Emile 1 Bugliesi, Michele 1 Caires, Luís 1 Calzavara, Stefano 1 Campo, Juan Diego 1 Carbone, Marco 1 Carpineti, Samuele 1 Castellani, Ilaria 1 Chen, Yulong 1 Cohen, Joshua 1 Dagand, Pierre-Evariste 1 Dal Lago, Ugo 1 Datta, Anupam 1 Davis, Hannah 1 De Caro, Angelo 1 de Kock, Bor 1 Delignat-Lavaud, Antoine 1 Deniélou, Pierre-Malo 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 Günther, Felix 1 Hale, Britta 1 Hankin, Chris L. 1 Harris, William R. 1 Honda, Kohei 1 Hosseyni, Pedram 1 Iovino, Vincenzo 1 Jacobsen, Håkon 1 Jha, Somesh 1 Johnson, James E. 1 Kaynar, Dilsun Kırlı 1 Khosravi, Ramtin 1 Kobayashi, Naoki 1 Kohbrok, Konrad 1 Kohlweiss, Markulf 1 Kumar, Ramana 1 Kura, Satoshi 1 Küsters, Ralf 1 Lamport, Leslie 1 Laneve, Cosimo 1 Langworthy, David E. 1 Lauer, Sebastian 1 Lee, Dong-Ho 1 Lepigre, Rodolphe 1 Li, Yao 1 Liu, Si 1 Lumezanu, Cristian 1 Luna, Carlos 1 Malik, Robi 1 McBride, Conor Thomas 1 Mennink, Bart ...and 44 more Authors all top 5 Cited in 12 Serials 4 Journal of Cryptology 4 Formal Aspects of Computing 4 Formal Methods in System Design 4 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 3 Journal of Functional Programming 2 Science of Computer Programming 2 Information and Computation 2 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 The Journal of Logic and Algebraic Programming Cited in 5 Fields 50 Computer science (68-XX) 23 Information and communication theory, circuits (94-XX) 4 Mathematical logic and foundations (03-XX) 2 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year