Search for dissertations about: "Catuscia Palamidessi"
Found 2 swedish dissertations containing the words Catuscia Palamidessi.
-
1. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Abstract : A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. READ MORE
-
2. Pointwise Maximal Leakage : Robust, Flexible and Explainable Privacy
Abstract : For several decades now, safeguarding sensitive information from disclosure has been a key focus in computer science and information theory. Especially, in the past two decades, the subject of privacy has received significant attention due to the widespread collection and processing of data in various facets of society. READ MORE