Cédric Fournet
Artificial Intelligence · 2005–2016
A researcher in the Science corpus: 12 papers; trusts 30 researchers and is trusted by 15 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 154 citations into it; #14,895 of 35,345 by trust here, #5,600 by citations
- Information Systems — 62 citations into it; #2,359 of 8,771 by trust here, #541 by citations
- Computational Theory and Mathematics — 40 citations into it; #10,621 of 12,182 by trust here, #4,365 by citations
- Computer Networks and Communications — 39 citations into it; #4,681 of 9,886 by trust here, #5,733 by citations
- Privacy & Security — 36 citations into it; #407 of 709 by trust here, #179 by citations
- Signal Processing — 25 citations into it
- Hardware and Architecture — 17 citations into it
- Electrical and Electronic Engineering — 10 citations into it
Whom Cédric Fournet trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Bruno Blanchet
- Craig Gentry
- Rafail M. Ostrovsky
- Eli Ben-Sasson
- Bryan Parno
- Jens Groth
- Joe Kilian
- Eike Kiltz
- O. Ohrimenko
- George Danezis
Who trusts Cédric Fournet overall
- Michael Backes
- O. Ohrimenko
- Bruno Blanchet
- Dan Boneh
- Eli Ben-Sasson
- Srinath T. V. Setty
- Congzheng Song
- Florian Tramèr
- Ahmed E. Kosba
- Riad S. Wahby
Papers from Cédric Fournet's perspective
Ordered by how strongly the researchers Cédric Fournet trusts endorse each paper. Same corpus, a different order for every researcher.
- Fully homomorphic encryption using ideal lattices
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Learning Multiple Layers of Features from Tiny Images
- Gradient-based learning applied to document recognition
- The Knowledge Complexity of Interactive Proof Systems
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
- Calibrating Noise to Sensitivity in Private Data Analysis
- Fairplay - Secure Two-Party Computation System
Their papers
- VC3: Trustworthy Data Analytics in the Cloud Using SGX (2015) — 675 citations
- Geppetto: Versatile Verifiable Computation (2015) — 241 citations
- Pinocchio coin: building zerocoin from a succinct pairing-based proof system (2013) — 127 citations
- Dependent types and multi-monadic effects in F* (2016) — 434 citations
- A Messy State of the Union: Taming the Composite State Machines of TLS (2015) — 300 citations
- SecPAL: Design and semantics of a decentralized authorization language (2010) — 343 citations
- Formal Verification of Smart Contracts: Short Paper (2016) — 631 citations
- Oblivious Multi-Party Machine Learning on Trusted Processors (2016) — 602 citations
- Observing and Preventing Leakage in MapReduce (2015) — 92 citations
- Smart meter aggregation via secret-sharing (2013) — 102 citations
- Verified Reference Implementations of WS-Security Protocols (2006) — 316 citations
- Automated verification of selected equivalences for security protocols (2005) — 400 citations