Theoretical computer science, Programming language, Asynchronous communication, Differential privacy and Concurrent constraint logic programming are his primary areas of study. His Theoretical computer science study incorporates themes from Information leakage, Probabilistic logic, Entropy, Information sensitivity and Algorithm. In the subject of general Programming language, his work in Denotational semantics, Operational semantics, Data structure and Correctness is often linked to Formal tool, thereby combining diverse domains of study.
The Asynchronous communication study combines topics in areas such as Nondeterministic algorithm and Expressive power. His work deals with themes such as Computer security, Degree and Mechanism, which intersect with Differential privacy. Catuscia Palamidessi has included themes like Concurrent logic programming and Intermediate logic in his Concurrent constraint logic programming study.
His primary scientific interests are in Theoretical computer science, Programming language, Probabilistic logic, Constraint programming and Differential privacy. His Theoretical computer science research incorporates elements of Information flow, Algorithm, Semantics and Asynchronous communication. His studies in Asynchronous communication integrate themes in fields like Pi calculus and Algebra.
His Probabilistic logic study combines topics in areas such as Adversary, Bisimulation, Protocol, Nondeterministic algorithm and Anonymity. He works in the field of Constraint programming, focusing on Concurrent constraint logic programming in particular. As a part of the same scientific study, Catuscia Palamidessi usually deals with the Differential privacy, concentrating on Information sensitivity and frequently concerns with Obfuscation.
Catuscia Palamidessi focuses on Theoretical computer science, Information sensitivity, Information flow, Differential privacy and Bayes' theorem. His biological study spans a wide range of topics, including Probabilistic logic, Noisy data and Anonymity. In Probabilistic logic, Catuscia Palamidessi works on issues like Stochastic game, which are connected to Protocol.
His research integrates issues of Computer security, Key, Information leakage and Game theory in his study of Information flow. Differential privacy is a subfield of Data mining that Catuscia Palamidessi studies. His Bayes' theorem research includes themes of Adversary, Machine learning, Entropy and Frequentist inference.
Catuscia Palamidessi spends much of his time researching Information flow, Information sensitivity, Theoretical computer science, Leakage and Information leakage. His research investigates the link between Information sensitivity and topics such as Obfuscation that cross with problems in Adversarial system, Classifier, Machine learning and Artificial intelligence. His Theoretical computer science study combines topics from a wide range of disciplines, such as Function, Probabilistic logic, Semantics and Differential privacy.
His Probabilistic logic research is multidisciplinary, incorporating elements of Nondeterministic algorithm, Inference, Stochastic game and Markov chain. His Differential privacy research includes elements of Trusted third party and Lattice properties. Catuscia Palamidessi has researched Frequentist inference in several fields, including Exploit, Algorithm and Multiplicative function.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Geo-indistinguishability: differential privacy for location-based systems
Miguel E. Andrés;Nicolás E. Bordenabe;Konstantinos Chatzikokolakis;Catuscia Palamidessi.
computer and communications security (2013)
Geo-indistinguishability: differential privacy for location-based systems
Miguel E. Andrés;Nicolás E. Bordenabe;Konstantinos Chatzikokolakis;Catuscia Palamidessi.
computer and communications security (2013)
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Catuscia Palamidessi.
Mathematical Structures in Computer Science (2003)
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Catuscia Palamidessi.
Mathematical Structures in Computer Science (2003)
Declarative modeling of the operational behavior of logic languages
M. Falaschi;G. Levi;C. Palamidessi;M. Martelli.
Theoretical Computer Science (1989)
Declarative modeling of the operational behavior of logic languages
M. Falaschi;G. Levi;C. Palamidessi;M. Martelli.
Theoretical Computer Science (1989)
Broadening the Scope of Differential Privacy Using Metrics
Konstantinos Chatzikokolakis;Konstantinos Chatzikokolakis;Miguel E. Andrés;Nicolás Emilio Bordenabe;Catuscia Palamidessi.
privacy enhancing technologies (2013)
Broadening the Scope of Differential Privacy Using Metrics
Konstantinos Chatzikokolakis;Konstantinos Chatzikokolakis;Miguel E. Andrés;Nicolás Emilio Bordenabe;Catuscia Palamidessi.
privacy enhancing technologies (2013)
Anonymity protocols as noisy channels
Konstantinos Chatzikokolakis;Catuscia Palamidessi;Prakash Panangaden.
Information & Computation (2008)
Anonymity protocols as noisy channels
Konstantinos Chatzikokolakis;Catuscia Palamidessi;Prakash Panangaden.
Information & Computation (2008)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Centrum Wiskunde & Informatica
University of New South Wales
University of Twente
French Institute for Research in Computer Science and Automation - INRIA
Radboud University Nijmegen
McGill University
Aarhus University
Guido Carli Free International University for Social Studies
University of Southampton
Monash University
French Institute for Research in Computer Science and Automation - INRIA
Publications: 26
University of Nottingham
Sungkyunkwan University
Chinese Academy of Sciences
Pennsylvania State University
Kyushu Institute of Technology
Pennsylvania State University
Chinese Academy of Sciences
University of Virginia
Southern University of Science and Technology
University of California, Los Angeles
National University of Córdoba
Agricultural Research Organization
University of Manitoba
University of Mississippi Medical Center
Boston Children's Hospital
Kyoto University