Benjamin Farinier | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Sébastien Bardin
18 publications
Matteo Maffei
16 publications
Marie-Laure Potet
7 publications
Richard Bonichon
6 publications
Mauro Tempesta
4 publications
Marco Squarcina
3 publications
Lorenzo Veronese
3 publications

research

∙ 01/05/2022

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

The complexity of browsers has steadily increased over the years, driven...

0 Lorenzo Veronese, et al. ∙

research

∙ 02/15/2018

Model Generation for Quantified Formulas: A Taint-Based Approach

We focus in this paper on generating models of quantified first-order fo...

0 Benjamin Farinier, et al. ∙