Sökning: "Catuscia Palamidessi"

Hittade 2 avhandlingar innehållade orden Catuscia Palamidessi.

1. 1. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

   Författare :Magnus Johansson; Björn Victor; Joachim Parrow; Catuscia Palamidessi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Sammanfattning : 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. LÄS MER

3. 2. Pointwise Maximal Leakage : Robust, Flexible and Explainable Privacy

   Författare :Sara Saeidian; Tobias J. Oechtering; Mikael Skoglund; Giulia Cervia; Catuscia Palamidessi; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Privacy; information leakage; pointwise maximal leakage; disclosure prevention; inferential privacy; mechanism design.; Dataintegritet; informationsläckage; punktvist maximalt läckage; avslöjningsprevention; inferentiell dataintegritet; mekanismdesign.; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : 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. LÄS MER