A non-local method for robustness analysis of floating point programs - Ivan Gazeau; Dale Miller 001; Catuscia Palamidessi (QAPL, 2012)

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 (2013)

Preserving differential privacy under finite-precision semantics. - Ivan Gazeau; Dale Miller 001; Catuscia Palamidessi (Theor. Comput. Sci., 2016)

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR. - David Baelde; Stéphanie Delaune; Ivan Gazeau; Steve Kremer (CSF, 2017)

Types for Location and Data Security in Cloud Environments. - Ivan Gazeau; Tom Chothia; Dominic Duggan (CSF, 2017)

Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches. - Ivan Gazeau; Steve Kremer (ESORICS (2), 2017)

Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking. - Sameh Khalfaoui; Jean Leneutre; Arthur Villard; Ivan Gazeau; Jingxuan Ma; Jean-Luc Danger; Pascal Urien (NCA, 2021)

Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review. - Sameh Khalfaoui; Jean Leneutre; Arthur Villard; Ivan Gazeau; Jingxuan Ma; Pascal Urien (Sensors, 2021)

A new membership inference attack that spots memorization in generative and predictive models: Loss-Based with Reference Model algorithm (LBRM). - Faiz Taleb; Ivan Gazeau; Maryline Laurent (CoRR, 2025)