Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Konstantinos Chatzikokolakis
Linking Unlinkability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logical Characterization of Differential Privacy
Science of Computer Programming
Software
Preliminary Inter-Comparison of AIS Data and Optimal Ship Tracks
TransNav
Transportation
Ocean Engineering
Oceanography
Trading Optimality for Performance in Location Privacy
Axioms for Information Leakage
Formal Verification of Privacy for RFID Systems
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probable Innocence Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science