Ivan Gazeau

Affiliations:
  • École Polytechnique, Palaiseau, France


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review.
Sensors, 2021

Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking.
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.
Proceedings of the Computer Security - ESORICS 2017, 2017

Types for Location and Data Security in Cloud Environments.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
Preserving differential privacy under finite-precision semantics.
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).
PhD thesis, 2013

2012
A non-local method for robustness analysis of floating point programs
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012


  Loading...