Concepedia

Cédric Fournet

CF

Statistics

Publications

95

Citations

9.2K

H-Index

52

Active since

1996

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

IMDEA Software Institute

State Key Laboratory of Cryptology

Cédric Fournet is an author at Microsoft Research (United Kingdom) specializing in computing, computer science, and cryptography.

Publications per year

1996–2023

95

Publications

95

Mobile values, new names, and secure communication

Martı́n Abadi, Cédric Fournet · 2001 · 843 citations

Computing, Computer Science, Formal Methods +15

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

Computing, Computer Science, Cybersecurity +13

VC3: Trustworthy Data Analytics in the Cloud Using SGX

Félix Schuster, Manuel Costa, Cédric Fournet et al. · 2015 · 598 citations · Full text

Computing, Computer Science, Computer Systems +12

The reflexive CHAM and the join-calculus

Cédric Fournet, Georges Gonthier · 1996 · 453 citations · Full text

Computing, Computer Science, Distributed Systems +12

Oblivious multi-party machine learning on trusted processors

Olga Ohrimenko, Félix Schuster, Cédric Fournet et al. · MPG.PuRe (Max Planck Society) · 2016 · 336 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 95