Ivan Gazeau

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 7

Top Topics

Automated Design

Differential Privacy

Security Protocols

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, Jean-Luc Danger, Pascal Urien
Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking. NCA (2021)
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, Pascal Urien
Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review. Sensors 21 (24) (2021)
David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR. CSF (2017)
Ivan Gazeau, Steve Kremer
Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches. ESORICS (2) (2017)
Ivan Gazeau, Tom Chothia, Dominic Duggan
Types for Location and Data Security in Cloud Environments. CoRR (2017)
Ivan Gazeau, Tom Chothia, Dominic Duggan
Types for Location and Data Security in Cloud Environments. CSF (2017)
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
Preserving differential privacy under finite-precision semantics. Theor. Comput. Sci. 655 (2016)
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
Preserving differential privacy under finite-precision semantics. QAPL (2013)
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
A non-local method for robustness analysis of floating point programs QAPL (2012)