Ivan GAZEAU

Je suis post-doctorant dans l'équipe PESTO sous la direction de Steve KREMER.

Publications

Ivan Gazeau, and Steve Kremer. Automated analysis of equivalence properties for security protocols using else branches. In ESORICS 17
Download: [pdf (long version)]
David Baelde, Stéphanie Delaune, Ivan Gazeau, and Steve Kremer. Symbolic verification of privacy-type properties for security protocols with XOR. In Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF'17), IEEE Computer Society Press, Santa Barbara, USA, August 2017.
Details BibTeX Download: [pdf] [pdf (long version)]
Ivan Gazeau, Tom Chothia, and Dominic Duggan. Types for Location and Data Security in Cloud Environments. In Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF'17), IEEE Computer Society Press, Santa Barbara, USA, August 2017.
Download: [pdf (long version)]
Preserving differential privacy under finite-precision semantics by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. TCS, Volume 655 Issue PB, December 2016 Pages 92-108 . doi. Draft dated 1 September 2014.
Preserving differential privacy under finite-precision semantics by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. In the Proceedings of QAPL ( doi ).
A non-local method for robustness analysis of floating point programs by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. In the Proceedings of QAPL ( doi ).