Cédric Fournet

1. Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
   2023/10/17 by Heidi Howard, Fritz Alder, Howard, Heidi +29 · 1 voice · 2 citations
   Computer Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC) #cs.CR #cs.DC
2. The Applied Pi Calculus
   2017/10/26 by Martín Abadi, Martı́n Abadi, Bruno Blanchet +1 · 5 citations
   Computer Science · #User Authentication and Security Systems #Advanced Authentication Protocols Security #semigroups and automata theory
3. Confidential Machine Learning within Graphcore IPUs
   2022/05/18 by Kapil Vaswani, Vaswani, Kapil, Stavros Volos +20 · 1 citation
   Engineering · Computer Science · #Radiation Effects in Electronics #Security and Verification in Computing #Adversarial Robustness in Machine Learning
4. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
   2016/09/10 by Martı́n Abadi, Abadi, Martín, Bruno Blanchet +3 · 1 citation
   Computer Science · #Advanced Authentication Protocols Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #User Authentication and Security Systems