Author Info
Name
Affiliation
Papers
IVAN GAZEAU
LSV, CNRS, Université Paris-Saclay, France
5
Collaborators
Citations 
PageRank 
8
18
2.08
Referers 
Referees 
References 
56
170
90
Search Limit
100170
Title
Citations
PageRank
Year
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR20.362017
Automated Analysis Of Equivalence Properties For Security Protocols Using Else Branches00.342017
Types for Location and Data Security in Cloud Environments30.402017
Preserving differential privacy under finite-precision semantics.80.552013
A Non-Local Method For Robustness Analysis Of Floating Point Programs50.432012