Books by Catuscia Palamidessi
The Science of Quantitative Information Flow
Methods for Location Privacy
CONCUR 2000 - Concurrency Theory
Formal Techniques for Distributed Objects, Components, and Systems
Horizons of the Mind. A Tribute to Prakash Panangaden
Theory of Security and Applications
Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 Revised Selected Papers
Automata, Languages and Programming (vol. # 3580)
Computational Logic CL 2000 00
Automata, Languages and Programming