C. Fournet

发表

K. Bhargavan, Antoine Delignat-Lavaud, C. Fournet, 2016 .
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2016, PLAS@CCS.
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.
George Danezis, Cédric Fournet, Markulf Kohlweiss, 2014, ASIACRYPT.
Juan Chen, Benjamin Livshits, Pierre-Yves Strub, 2013, POPL.
Martín Abadi, Cédric Fournet, Georges Gonthier, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2004, TSEC.
George Danezis, Cédric Fournet, Bryan Parno, 2013, PETShop '13.
Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2011, Journal of Functional Programming.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, POPL.
Juan Chen, Pierre-Yves Strub, Gavin M. Bierman, 2014, POPL.
Christos Gkantsidis, Mark Russinovich, Cédric Fournet, 2015, 2015 IEEE Symposium on Security and Privacy.
George Danezis, Cédric Fournet, Markulf Kohlweiss, 2013, USENIX Security Symposium.
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2014, 2014 IEEE Symposium on Security and Privacy.
Santiago Zanella Béguelin, K. Bhargavan, Antoine Delignat-Lavaud, 2016, POPL.
M. Abadi, C. Fournet, 2002, Theor. Comput. Sci..
Jakob Rehof, Tony Hoare, Cédric Fournet, 2004 .
Peter G. Neumann, Michael Roe, Ulrich Rührmair, 2015, IEEE Symposium on Security and Privacy.
Martín Abadi, Cédric Fournet, M. Abadi, 2001, POPL '01.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, POPL.
Gilles Barthe, Cédric Fournet, C. Fournet, 2007 .
Jon Howell, C. Fournet, M. Naehrig, 2014 .
Miguel Castro, Mark Russinovich, Antoine Delignat-Lavaud, 2021, ArXiv.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Dan C. Wilkinson, C. Fournet, Kapil Vaswani, 2022, ArXiv.
Cédric Fournet, Kapil Vaswani, Olga Ohrimenko, 2016 .
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2015 .
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2016, J. ACM.
Christos Gkantsidis, Cédric Fournet, Markulf Kohlweiss, 2015, CCS.
Martín Abadi, Cédric Fournet, M. Abadi, 2001, POPL '01.
Cédric Fournet, Bryan Parno, Markulf Kohlweiss, 2016, CCS.
Sebastian Nowozin, Cédric Fournet, Kapil Vaswani, 2016, USENIX Security Symposium.
Pierre-Yves Strub, Cédric Fournet, Markulf Kohlweiss, 2011, CCS '11.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, Theor. Comput. Sci..
C. A. R. Hoare, Jakob Rehof, Cédric Fournet, 2004, CAV.
Mark Russinovich, Cédric Fournet, Antoine Delignat-Lavaud, 2021, ACM Queue.
Mark Russinovich, Cédric Fournet, Antoine Delignat-Lavaud, 2021, Commun. ACM.
Nikhil Swamy, Chris Hawblitzel, Cédric Fournet, 2020, 2020 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy, Chris Hawblitzel, Rustan Leino, 2017, SNAPL.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, Proc. ACM Program. Lang..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon, 1999, Lecture Notes in Computer Science.
Luca Cardelli, Nick Benton, Cédric Fournet, 2002, TOPL.
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2015, 2015 IEEE Symposium on Security and Privacy.
Jon Howell, Craig Costello, Michael Naehrig, 2015, 2015 IEEE Symposium on Security and Privacy.
Yi Zhou, Cédric Fournet, Bryan Parno, 2020, 2021 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy, Cédric Fournet, Antoine Delignat-Lavaud, 2019, USENIX Security Symposium.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2013, 2013 IEEE Symposium on Security and Privacy.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2010, POPL '10.
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2008, J. Comput. Secur..
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2016 .
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2012, TSEC.
Andrew D. Gordon, Nikhil Swamy, Cédric Fournet, 2008, ASIACCS '08.
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2005, TOPL.
Antoine Delignat-Lavaud, C. Fournet, N. Swamy, 2023, Certified Programs and Proofs.
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, Proc. ACM Program. Lang..
Alfredo Pironti, Pierre-Yves Strub, Cédric Fournet, 2014, IACR Cryptol. ePrint Arch..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, TSEC.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, CCS '04.
Andrew D. Gordon, Cédric Fournet, Riccardo Pucella, 2003, FMCO.
Cédric Fournet, Tamara Rezk, Jérémy Planul, 2011, CCS '11.
Nataliya Guts, Cédric Fournet, Karthikeyan Bhargavan, 2010, APLAS.
Andrew D. Gordon, Cédric Fournet, C. Fournet, 2010, Logics and Languages for Reliability and Security.
Henrique S. Malvar, Paul England, Eric Horvitz, 2020, MMSys.
M. Castro, Antoine Delignat-Lavaud, C. Fournet, 2021, NSDI.
Kartik Nayak, Roy Schwartz, Mark Russinovich, 2019 .
Matthew Green, Cédric Fournet, Karthikeyan Bhargavan, 2016, 2016 IEEE Symposium on Security and Privacy (SP).
Jean-Jacques Lévy, Didier Rémy, Cédric Fournet, 1996, CONCUR.
George Danezis, Cédric Fournet, Markulf Kohlweiss, 2013, SEGS '13.
Martín Abadi, Cédric Fournet, M. Abadi, 2003, NDSS.
Cédric Fournet, Vincent Laporte, Chantal Keller, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Cédric Fournet, Tamara Rezk, C. Fournet, 2008, POPL '08.
Christoph Egger, Cédric Fournet, Antoine Delignat-Lavaud, 2021, IACR Cryptol. ePrint Arch..
Martín Abadi, Cédric Fournet, Georges Gonthier, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Cédric Fournet, Alan Schmitt, Luc Maranget, 2002, Advanced Functional Programming.
Gavin M. Bierman, Nikhil Swamy, Cédric Fournet, 2015, POPL.
Cédric Fournet, Karthikeyan Bhargavan, Ricardo Corin, 2008, CCS.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, TOPL.
Nataliya Guts, Francesco Zappa Nardelli, Cédric Fournet, 2008, ESOP.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2007, SWS '04.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, WS-FM.
Martín Abadi, Cédric Fournet, M. Abadi, 2002, ISSS.
Alfredo Pironti, Pierre-Yves Strub, Karthikeyan Bhargavan, 2013 .
Cédric Fournet, Georges Gonthier, C. Fournet, 1998, J. Log. Algebraic Methods Program..
Cédric Fournet, Georges Gonthier, C. Fournet, 1996, POPL '96.
Nikhil Swamy, Cédric Fournet, Kenji Maillard, 2018 .
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, ArXiv.
Andrew D. Gordon, Cédric Fournet, Moritz Y. Becker, 2010, J. Comput. Secur..
C. Fournet, A. Gordon, 2002, POPL '02.
Bryan Parno, C. Fournet, Markulf Kohlweiss, 2016, CCS.
Martín Abadi, Cédric Fournet, Ricardo Corin, 2006, APLAS.
Cosimo Laneve, Didier Rémy, Cédric Fournet, 2000, J. Log. Algebraic Methods Program..
Cosimo Laneve, Cédric Fournet, C. Fournet, 1998, Theor. Comput. Sci..
C. Fournet, D. Chisnall, Stavros Volos, 2023, USENIX Annual Technical Conference.
Santiago Zanella Béguelin, K. Bhargavan, Antoine Delignat-Lavaud, 2017, Proc. ACM Program. Lang..
C. Fournet, Martín Abadi, 2001, POPL '01.
C. Fournet, Boris Köpf, Jana Hofmann, 2023, USENIX Security Symposium.
Cédric Fournet, Antoine Delignat-Lavaud, Markulf Kohlweiss, 2018, ASIACRYPT.
Cédric Fournet, Georges Gonthier, C. Fournet, 2000, APPSEM.