Verifiable Computing

Established: August 24, 2011

Publications

Publications by Year

Publications by Research Area

Publications by Type

People

Portrait of Antoine Delignat-Lavaud

Antoine Delignat-Lavaud

Principal Researcher

Portrait of Craig Costello

Craig Costello

Researcher

Portrait of Cédric Fournet

Cédric Fournet

Senior Principal Research Manager

Portrait of Michael Naehrig

Michael Naehrig

Principal Researcher