Search Results for author: Cédric Fournet

Found 3 papers, 1 papers with code

Confidential Machine Learning within Graphcore IPUs

no code implementations • 18 May 2022 • Kapil Vaswani, Stavros Volos, Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson

We present IPU Trusted Extensions (ITX), a set of experimental hardware extensions that enable trusted execution environments in Graphcore's AI accelerators.

BIG-bench Machine Learning

Paper
Add Code

Recalling a Witness: Foundations and Applications of Monotonic State

no code implementations • 8 Jul 2017 • Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy

We provide a way to ease the verification of programs whose state evolves monotonically.

Programming Languages Cryptography and Security

Paper
Add Code

Verified Low-Level Programming Embedded in F*

4 code implementations • 28 Feb 2017 • Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

Low* is a shallow embedding of a small, sequential, well-behaved subset of C in F*, a dependently-typed variant of ML aimed at program verification.

Programming Languages Cryptography and Security

2,560

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.