Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Catuscia Palamidessi
A Logical Characterization of Differential Privacy
Science of Computer Programming
Software
Trading Optimality for Performance in Location Privacy
Axioms for Information Leakage
Tutorial on Separation Results in Process Calculi via Leader Election Problems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Probabilistic and Nondeterministic Aspects of Anonymity
Theoretical Computer Science
Computer Science
Theoretical Computer Science
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
The Replacement Operation for CCP Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Asynchronous Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
