Ivan Gazeau

12 papers A 2B 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Uncovering Memorization in Timeseries Imputation models: LBRM Membership Inference and its link to attribute Leakage.
CoRR
Faiz Taleb, Ivan Gazeau, Maryline Laurent
2025 J jnl
A new membership inference attack that spots memorization in generative and predictive models: Loss-Based with Reference Model algorithm (LBRM).
CoRR
Faiz Taleb, Ivan Gazeau, Maryline Laurent
2021 J jnl
Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review.
Sensors
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, Pascal Urien
2021 B conf
Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking.
NCA
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, Jean-Luc Danger, Pascal Urien
2017 — conf
Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches.
ESORICS (2)
Ivan Gazeau, Steve Kremer
2017 A conf
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR.
CSF
David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer
2017 A conf
Types for Location and Data Security in Cloud Environments.
CSF
Ivan Gazeau, Tom Chothia, Dominic Duggan
2017 J jnl
Types for Location and Data Security in Cloud Environments.
CoRR
Ivan Gazeau, Tom Chothia, Dominic Duggan
2016 J jnl
Preserving differential privacy under finite-precision semantics.
Theor. Comput. Sci.
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
2013 — conf
Preserving differential privacy under finite-precision semantics.
QAPL
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
2013 — —
Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations. (Safe Programming in Finite Precision: Controlling Errors and Information Leaks).
Ivan Gazeau
2012 — conf
A non-local method for robustness analysis of floating point programs
QAPL
Ivan Gazeau, Dale Miller, Catuscia Palamidessi