Karthikeyan Bhargavan

发表

Nikhil Swamy, Chris Hawblitzel, Rustan Leino, 2017, SNAPL.
Karthikeyan Bhargavan, Youssef Hamadi, Marc Shapiro, 2004 .
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, TOPL.
Mahesh Viswanathan, Insup Lee, Oleg Sokolsky, 2000, ISSTA '00.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Matthew Green, Cédric Fournet, Karthikeyan Bhargavan, 2016, 2016 IEEE Symposium on Security and Privacy (SP).
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2013, POST 2013.
Benjamin Richard, Karthikeyan Bhargavan, Ioana Boureanu, 2017, 2017 IEEE European Symposium on Security and Privacy (EuroS&P).
Carl A. Gunter, Karthikeyan Bhargavan, Dragan D. Obradovic, 2000 .
Pierre-Yves Strub, Franziskus Kiefer, Karthikeyan Bhargavan, 2018, SSR.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, Proc. ACM Program. Lang..
Andrew D. Gordon, Nikhil Swamy, Cédric Fournet, 2008, ASIACCS '08.
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2015 .
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2015 .
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2014, 2014 IEEE Symposium on Security and Privacy.
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.
Andrew D. Gordon, Karthikeyan Bhargavan, Johannes Borgström, 2009, Haskell.
Karthikeyan Bhargavan, Marc Shapiro, Nishith Krishna, 2005, PODC '05.
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2008, J. Comput. Secur..
Carl A. Gunter, Karthikeyan Bhargavan, Davor Obradovic, 2000, TPHOLs.
Insup Lee, Oleg Sokolsky, Carl A. Gunter, 2000, ISSTA '00.
Karthikeyan Bhargavan, Prasad Naldurg, Benjamin Beurdouche, 2019 .
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Karthikeyan Bhargavan, Marc Shapiro, Nishith Krishna, 2004, OPODIS.
Matthew Green, Karthikeyan Bhargavan, Santiago Zanella Béguelin, 2015, CCS.
Andrew D. Gordon, Karthikeyan Bhargavan, Iman Narasamdya, 2007, TGC.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, POST.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, WS-FM.
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2012, TSEC.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, K. Bhargavan, 2012, WOOT.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, K. Bhargavan, 2015, WWW.
Carl A. Gunter, Satish Chandra, Karthikeyan Bhargavan, 2001, POPL '01.
Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, 2019, 2019 IEEE Symposium on Security and Privacy (SP).
Cédric Fournet, Karthikeyan Bhargavan, Markulf Kohlweiss, 2016, IEEE Security & Privacy.
Andrew D. Gordon, Cédric Fournet, Riccardo Pucella, 2003, FMCO.
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi, 2015 .
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi, 2016 .
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2008, CCS.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Alfredo Pironti, Adam Langley, Karthikeyan Bhargavan, 2015, RFC.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, CCS '04.
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi, 2017, 2017 IEEE European Symposium on Security and Privacy (EuroS&P).
Carl A. Gunter, Karthikeyan Bhargavan, K. Bhargavan, 2005, Formal Methods Syst. Des..
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Ioana Boureanu, 2018, 2018 IEEE Symposium on Security and Privacy (SP).
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2013, 2013 IEEE Symposium on Security and Privacy.
Karthikeyan Bhargavan, Bruno Blanchet, Benjamin Lipp, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi, 2017, Financial Cryptography.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2007, SWS '04.
Juan Chen, Pierre-Yves Strub, Gavin M. Bierman, 2014, POPL.
Andrew D. Gordon, Karthikeyan Bhargavan, Iman Narasamdya, 2008, COORDINATION.
Carl A. Gunter, Karthikeyan Bhargavan, Davor Obradovic, 2002, JACM.
Alfredo Pironti, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, 2015, NDSS.
Matthew Green, Karthikeyan Bhargavan, Santiago Zanella Béguelin, 2019, Commun. ACM.
Karthikeyan Bhargavan, Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, 2016 .
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2005, Theor. Comput. Sci..
Carl A. Gunter, Karthikeyan Bhargavan, K. Bhargavan, 2002 .
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, USENIX Security Symposium.
Karthikeyan Bhargavan, Nadim Kobeissi, K. Bhargavan, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, CSFW.
Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon, 1999, Lecture Notes in Computer Science.
Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2011, Journal of Functional Programming.
Michael Jackson, Pamela Zave, Carl A. Gunter, 1998, TPHOLs.
Carl A. Gunter, Karthikeyan Bhargavan, Davor Obradovic, 2000, FMSP '00.
Nataliya Guts, Cédric Fournet, Karthikeyan Bhargavan, 2010, APLAS.
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2014, IACR Cryptol. ePrint Arch..
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, FOSAD.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2014, J. Comput. Secur..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2010, POPL '10.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2016, PLAS@CCS.
Alfredo Pironti, Pierre-Yves Strub, Karthikeyan Bhargavan, 2013 .
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2015, 2015 IEEE Symposium on Security and Privacy.
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2015, IEEE Symposium on Security and Privacy.
Karthikeyan Bhargavan, Michael J. May, K. Bhargavan, 2013, ESSoS.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Karthikeyan Bhargavan, Youssef Hamadi, Marc Shapiro, 2004 .
Carl A. Gunter, Karthikeyan Bhargavan, K. Bhargavan, 2002, RV@FLoC.
Alfredo Pironti, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, 2015, WOOT.
Karthikeyan Bhargavan, Gaëtan Leurent, K. Bhargavan, 2016, NDSS.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2005, SWS '05.
Karthikeyan Bhargavan, Jonathan Protzenko, Santiago Zanella Béguelin, 2020, IACR Cryptol. ePrint Arch..
Karthikeyan Bhargavan, Prasad Naldurg, 2019, FSTTCS.
Alfredo Pironti, Pierre-Yves Strub, Karthikeyan Bhargavan, 2012 .
Karthikeyan Bhargavan, Jonathan Protzenko, Jean Karim Zinzindohoué, 2017, CCS.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013 .
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, Theor. Comput. Sci..
Nikhil Swamy, Chris Hawblitzel, Cédric Fournet, 2020, 2020 IEEE Symposium on Security and Privacy (SP).
Karthikeyan Bhargavan, Santiago Zanella Béguelin, Aymeric Fromherz, 2020, CCS.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2011, FOSAD.
Karthikeyan Bhargavan, 2015 .
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Karthikeyan Bhargavan, Nadim Kobeissi, 2016 .
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2013, J. Funct. Program..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, TSEC.
Ralf Küsters, Karthikeyan Bhargavan, Abhishek Bichhawat, 2021, 2021 IEEE European Symposium on Security and Privacy (EuroS&P).
Ralf Küsters, Karthikeyan Bhargavan, Abhishek Bichhawat, 2021, IACR Cryptol. ePrint Arch..