Benjamin Grégoire | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Marco Gaboardi
32 publications
Justin Hsu
32 publications
Gilles Barthe
30 publications
Pierre-Yves Strub
8 publications
Thomas Espitau
6 publications
Tiago Oliveira
5 publications
Manuel Barbosa
4 publications
Adrien Koutsos
4 publications
José Bacelar Almeida
2 publications
Vincent Laporte
1 publication

research

∙ 04/09/2019

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

We develop a new approach for building cryptographic implementations. Ou...

0 José Bacelar Almeida, et al. ∙

research

∙ 03/14/2018

An Assertion-Based Program Logic for Probabilistic Programs

Research on deductive verification of probabilistic programs has conside...

0 Gilles Barthe, et al. ∙

research

∙ 08/08/2017

Proving Expected Sensitivity of Probabilistic Programs

Program sensitivity, also known as Lipschitz continuity, describes how s...

0 Gilles Barthe, et al. ∙