Cedric Fournet [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
State Separation for Code-Based Game-Playing Proofs Asiacrypt2018-2018 - Brisbane, Australia
Deploying cryptographically-verified components for the HTTPS ecosystem crypto-2017 - santa barbara,usa
Oblivious Multi-Party Machine Learning on Trusted Processors USENIX-2016 - austin,usa
Square Span Programs with Applications to Succinct NIZK Arguments AsiaCrypt-2014 - kaohsiung,taiwan
Proving the TLS Handshake Secure (as it is) crypto-2014 - california,usa
ZQL: A Compiler for Privacy-Preserving Data Processing USENIX-2013 - Washington, D.C.
Composability of cryptographic protocols Confrence-on-computer-communications-security-2011 - Chicago, USA Security
Modular Code-Based Cryptographic Verification Confrence-on-computer-communications-security-2011 - Chicago, USA
Information-Flow Types for Homomorphic Encryptions Confrence-on-computer-communications-security-2011 - Chicago, USA