Masking the glp
lattice-based signature scheme at any order
|
with with G. Barthe, S. Belaid, P-A. Fouque, B.
Gregoire, M. Rossi and Mehdi Tibouchi.
|
eurocrypt 18
|
A program logic for
probabilistic programs
|
with G. Barthe, M. Gaboardi, B. Gregoire, J.
Hsu and P.Y Strub
|
esop 18
|
Proving expected
sensitivity of probabilistic programs
|
with G. Barthe, B. Gregoire, J. Hsu and P.Y
Strub
|
popl 18
|
Side-channel attacks against
bliss signature
|
with P.A. Fouque, B. Gerard, M. Tibouchi
|
ccs 17
|
*-liftings for
differential privacy
|
with G. Barthe, B. Gregoire, J. Hsu, T. Sato
and P.Y Strub
|
icalp 17
|
Computing generator in
cyclotomic integer rings
|
with P-A. Fouque, A. Gélin and P. Kirchner,
merged with Jean-François Biasse. |
eurocrypt 17 |
Proving
uniformity and independence by self-composition and
coupling
|
with G. Barthe, B. Gregoire, J. Hsu and P.Y Strub
|
lpar 17
|
Loop abort
faults on lattice-based fiat-shamir, Hash and Sign
signatures
|
with P.A. Fouque, B. Gerard, M. Tibouchi
|
sac 16 |
Synthesizing probabilistic
invariants via doob’s decomposition
|
with G. Barthe, J. Hsu, L.M. Fioriti |
cav 16 |
Relational reasoning via
probabilistic coupling
|
with G. Barthe, B. Gregoire, J. Hsu and P.Y Strub
|
lpar 15 |
Higer order differentials mitm preimages attacks on
blake, sha-1
|
with P.A. Fouque, P. Karpman
|
crypto 15 |