| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Quantitative information flow in interactive systems.  |
Journal of Computer Security  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Gazeau, Dale Miller, Catuscia Palamidessi |
A non-local method for robustness analysis of floating point programs |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Mödersheim, Catuscia Palamidessi (eds.) |
Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers |
TOSCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information hiding in probabilistic concurrent systems. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi |
Differential Privacy: on the trade-off between Utility and Information Leakage |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
On the relation between Differential Privacy and Quantitative Information Flow |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
On the Relation between Differential Privacy and Quantitative Information Flow. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Quantitative Information Flow and Applications to Differential Privacy. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia |
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Catuscia Palamidessi |
Preface. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Making random choices invisible to the scheduler. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi |
Differential Privacy versus Quantitative Information Flow |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Information Flow in Interactive Systems. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |
Reconciling Belief and Vulnerability in Information Flow. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
quantitative and probabilistic models, Security, uncertainty, information flow, accuracy, information hiding, vulnerability, belief, data confidentiality |
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
Computing the Leakage of Information-Hiding Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia |
Concurrent and Reactive Constraint Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés |
Interactive Information Flow - (Invited Talk). |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum |
Safe Equivalences for Security Properties. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Entropy and Attack Models in Information Flow - (Invited Talk). |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information Hiding in Probabilistic Concurrent Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Compositionality of Secure Information Flow. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Probabilistic Information Flow. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
Compositional modelling of signalling pathways in timed concurrent constraint programming. |
BCB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002 |
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Beauxis, Catuscia Palamidessi |
Probabilistic and nondeterministic aspects of anonymity. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi |
Foreword. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun |
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Quantitative Notions of Leakage for One-try Attacks. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Explicit fairness in testing semantics |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny |
Probable Innocence in the Presence of Independent Knowledge. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
A framework for abstract interpretation of timed concurrent constraint programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi |
| 1 | Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (eds.) |
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
On the Bayes risk in information-hiding protocols. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Anonymity protocols as noisy channels. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Frank D. Valencia |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia |
On the Asynchronous Nature of the Asynchronous pi-Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Bhowmick, Catuscia Palamidessi |
Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Compositional Methods for Information-Hiding. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Catuscia Palamidessi |
Axiomatizations for probabilistic finite-state behaviors. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Separation of synchronous and asynchronous communication via testing. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi |
Tutorial on separation results in process calculi via leader election problems. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe F. Italiano, Catuscia Palamidessi |
Preface. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Catuscia Palamidessi, Jun Pang |
Weak Probabilistic Anonymity. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Fair Pi. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Catuscia Palamidessi |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Making Random Choices Invisible to the Scheduler |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Making Random Choices Invisible to the Scheduler. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
Universal Timed Concurrent Constraint Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
Declarative Diagnosis of Temporal Concurrent Constraint Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic |
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Probability of Error in Information-Hiding Protocols. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
A Probabilistic Applied Pi-Calculus. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002 |
Model checking the probabilistic pi-calculus. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Wu 0002, Catuscia Palamidessi, Huimin Lin |
Symbolic Bisimulations for Probabilistic Systems. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Formal Approaches to Information-Hiding (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Probable innocence revisited. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Anonymity in Probabilistic and Nondeterministic Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Probabilistic and Nondeterministic Aspects of Anonymity. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Separation of Synchronous and Asynchronous Communication Via Testing. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Axelle Ziegler, Dale Miller, Catuscia Palamidessi |
A Congruence Format for Name-passing Calculi. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Pradalier, Catuscia Palamidessi |
Expressiveness of Probabilistic pi. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang |
Metrics for Action-labelled Quantitative Transition Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Frank D. Valencia |
Languages for Concurrency. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia |
A Declarative Framework for Security: Secure Concurrent Constraint Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia |
On Recursion, Replication and Scope Mechanisms in Process Calculi. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor |
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Anonymity Protocols as Noisy Channels. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Oltea Mihaela Herescu |
A randomized encoding of the Pi-calculus with mixed choice. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Frank D. Valencia |
Recursion vs Replication in Process Calculi: Expressiveness. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mohit Bhargava, Catuscia Palamidessi |
Probabilistic Anonymity. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (eds.) |
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings |
ICALP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Mohit Bhargava |
Probabilistic Anonymity. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Probable Innocence Revisited. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi |
Separation Results Via Leader Election Problems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Catuscia Palamidessi, Jun Pang |
Compositional Reasoning for Probabilistic Finite-State Behaviors. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Catuscia Palamidessi |
Axiomatizations for Probabilistic Finite-State Behaviors. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond McDowell, Dale Miller, Catuscia Palamidessi |
Encoding transition systems in sequent calculus. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. |
Mathematical Structures in Computer Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi (eds.) |
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings |
ICLP |
2003 |
DBLP BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk). |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Oltea Mihaela Herescu |
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
On the expressive power of temporal concurrent constraint programming languages. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
constraint programming, expressiveness, timed systems |
| 1 | Catuscia Palamidessi |
Mobile calculi for distributed programming. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, M. Pilquist |
A Randomized Solution to the Distributed Resource Allocation Problem. |
IASTED PDCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Foreword. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Oltea Mihaela Herescu, Catuscia Palamidessi |
On the generalized dining philosophers problem |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Oltea Mihaela Herescu, Catuscia Palamidessi |
Probabilistic asynchronous pi-calculus |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Oltea Mihaela Herescu, Catuscia Palamidessi |
On the generalized dining philosophers problem. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Frank D. Valencia |
A Temporal Concurrent Constraint Programming Calculus. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek |
Preface. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi (eds.) |
CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings |
CONCUR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Oltea Mihaela Herescu, Catuscia Palamidessi |
Probabilistic Asynchronous pi-Calculus. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gilbert, Catuscia Palamidessi |
Concurrent Constraint Programming with Process Mobility. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) |
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings |
CL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98 |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Catuscia Palamidessi |
Foundational Aspects of Syntax. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")