Ivan Gazeau

According to our database, Ivan Gazeau authored at least 8 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021

2017

Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches.

Ivan Gazeau, Steve Kremer

Proceedings of the Computer Security - ESORICS 2017, 2017

Types for Location and Data Security in Cloud Environments.

Ivan Gazeau, Tom Chothia, Dominic Duggan

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR.

David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Preserving differential privacy under finite-precision semantics.

Ivan Gazeau, Dale Miller, Catuscia Palamidessi

Theor. Comput. Sci., 2016

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

PhD thesis, 2013

2012

A non-local method for robustness analysis of floating point programs

Ivan Gazeau, Dale Miller, Catuscia Palamidessi

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012