Guillaume Davy
发表
Pierre Roux,
Pierre-Loïc Garoche,
Xavier Thirioux,
2018,
2018 Forum on Specification & Design Languages (FDL).
Eric Feron,
Didier Henrion,
Pierre-Loïc Garoche,
2018,
LPAR.
Eric Feron,
Pierre-Loïc Garoche,
Raphael Cohen,
2017
.
Eric Feron,
Pierre-Loïc Garoche,
Guillaume Davy,
2017
.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
IACR Cryptol. ePrint Arch..
Eric Feron,
Didier Henrion,
Pierre-Loïc Garoche,
2018,
ArXiv.