World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
76
Citations
18132
World Ranking
1362
National Ranking
710

Overview

Cédric Fournet is affiliated with Microsoft in the United States. Their research primarily lies within the field of Computer Science, encompassing a total of 29 publications. Their work includes significant contributions across several subfields, notably Artificial Intelligence, Information Systems, Signal Processing, Computer Networks and Communications, and Electrical and Electronic Engineering.

The main topics of Fournet's research focus include:

  • Security and Verification in Computing
  • Cloud Data Security Solutions
  • Advanced Malware Detection Techniques
  • Distributed Systems and Fault Tolerance
  • Advanced Authentication Protocols Security
  • Cryptographic Implementations and Security
  • IPv6, Mobility, Handover, Networks, Security

Several frequent coauthors have collaborated with Fournet, including:

  • Mark Russinovich
  • Manuel Costa
  • Antoine Delignat-Lavaud
  • Sylvan Clebsch
  • Kapil Vaswani

Fournet's work has been published in various venues, with recurring appearances in:

  • arXiv (Cornell University)
  • Queue
  • Communications of the ACM
  • Proceedings of the VLDB Endowment

Recent publications illustrate their focus on confidentiality and security in cloud computing and distributed systems. Notable papers include:

  • "Toward confidential cloud computing," 2021, Communications of the ACM
  • "Toward Confidential Cloud Computing," 2021, Queue
  • "Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability," 2023, Proceedings of the VLDB Endowment
  • "Why Should I Trust Your Code?", 2023, Queue
  • "Confidential Computing Proofs," 2024, Queue

Best Publications

  • Mobile values, new names, and secure communication

    Martín Abadi;Cédric Fournet

  • The reflexive CHAM and the join-calculus

    Cédric Fournet;Georges Gonthier

  • VC3: Trustworthy Data Analytics in the Cloud Using SGX

    Felix Schuster;Manuel Costa;Cedric Fournet;Christos Gkantsidis

  • Formal Verification of Smart Contracts: Short Paper

    Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cédric Fournet;Anitha Gollamudi

  • A Calculus of Mobile Agents

    Cédric Fournet;Georges Gonthier;Jean-Jacques Lévy;Luc Maranget

  • Automated verification of selected equivalences for security protocols

    Bruno Blanchet;Martín Abadi;Cédric Fournet

  • Oblivious multi-party machine learning on trusted processors

    Olga Ohrimenko;Felix Schuster;Cédric Fournet;Aastha Mehta

  • Verified reference implementations of WS-Security protocols

    Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

  • SecPAL: Design and semantics of a decentralized authorization language

    Moritz Y. Becker;Cédric Fournet;Andrew D. Gordon

  • Dependent types and multi-monadic effects in F*

    Nikhil Swamy;Cătălin Hriţcu;Chantal Keller;Aseem Rastogi

  • Automated verification of selected equivalences for security protocols

    B. Blanchet;M. Abadi;C. Fournet

  • A Messy State of the Union: Taming the Composite State Machines of TLS

    Benjamin Beurdouche;Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cedric Fournet

  • Refinement types for secure implementations

    Jesper Bengtson;Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

  • Access Control Based on Execution History.

    Martín Abadi;Cédric Fournet

  • Geppetto: Versatile Verifiable Computation

    Craig Costello;Cedric Fournet;Jon Howell;Markulf Kohlweiss

  • Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS

    Karthikeyan Bhargavan;Antoine Delignat Lavaud;Cédric Fournet;Alfredo Pironti

  • Secure distributed programming with value-dependent types

    Nikhil Swamy;Juan Chen;Cédric Fournet;Pierre-Yves Strub

  • Implementing TLS with Verified Cryptographic Security

    K. Bhargavan;C. Fournet;M. Kohlweiss;A. Pironti

  • Modern concurrency abstractions for C

    Nick Benton;Luca Cardelli;Cédric Fournet

  • 2015 IEEE Symposium on Security and Privacy SP 2015

    Jonathan Woodruff;Peter G. Neumann;Simon W. Moore;Jonathan Anderson

  • Secure distributed programming with value-dependent types

    Nikhil Swamy;Juan Chen;Cédric Fournet;Pierre-Yves Strub

  • A messy state of the union: taming the composite state machines of TLS

    Benjamin Beurdouche;Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cédric Fournet

Frequent Co-Authors

Karthikeyan Bhargavan
Karthikeyan Bhargavan French Institute for Research in Computer Science and Automation - INRIA
Andrew D. Gordon
Andrew D. Gordon Microsoft (United States)
Markulf Kohlweiss
Markulf Kohlweiss University of Edinburgh
Nikhil Swamy
Nikhil Swamy Microsoft (United States)
Martín Abadi
Martín Abadi Google (United States)
Bryan Parno
Bryan Parno Carnegie Mellon University
Bruno Blanchet
Bruno Blanchet French Institute for Research in Computer Science and Automation - INRIA
George Danezis
George Danezis University College London
Christos Gkantsidis
Christos Gkantsidis Microsoft (United States)
Sebastian Nowozin
Sebastian Nowozin Microsoft (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science opens doors to a wide range of career opportunities and educational advancements. For those seeking a fast track, the best associate degree in 6 months online can help jumpstart your tech journey without a long commitment.

Business skills also play a crucial role for many computer science graduates. Students interested in combining tech with leadership may benefit from a best online business management degree. This path enhances critical thinking, project management, and team collaboration skills.

Pursuing an online bachelors degree in computer science or related fields ensures a solid academic foundation. Flexibility and affordability are key—look for accredited programs that align with your professional goals.

For students more inclined toward technical problem-solving or design, an online engineering degree can be a smart move. Engineering education complements computing skills and broadens career prospects in both tech and industrial sectors.

Best Scientists Citing Cédric Fournet

Trending Scientists