Catuscia Palamidessi
Orcid: 0000-0003-4597-7002Affiliations:
- École Polytechnique, Paris, France
According to our database1,
Catuscia Palamidessi
authored at least 255 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on andrej.com
On csauthors.net:
Bibliography
2024
Data Min. Knowl. Discov., July, 2024
Proc. Priv. Enhancing Technol., January, 2024
CoRR, 2024
Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency, 2024
A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results.
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
Proceedings of the Causal Learning and Reasoning, 2024
Poster: Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
SN Comput. Sci., November, 2023
Proc. VLDB Endow., 2023
J. Comput. Secur., 2023
Proceedings of the Information Security Practice and Experience, 2023
On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper).
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023
On the application and impact of ε-DP and fairness in ambulance engagement time prediction.
Proceedings of the First Tiny Papers Track at ICLR 2023, 2023
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023
Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized Response.
Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023
Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023
Proceedings of the Data and Applications Security and Privacy XXXVII, 2023
On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms.
Proceedings of the Data and Applications Security and Privacy XXXVII, 2023
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 2023
2022
ACM Trans. Priv. Secur., 2022
CoRR, 2022
CoRR, 2022
CoRR, 2022
Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python.
Proceedings of the Computer Security - ESORICS 2022, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
Proceedings of the Algorithmic Fairness through the Lens of Causality and Privacy Workshop, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Inf. Process. Manag., 2021
Int. J. Inf. Sec., 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the Protocols, Strands, and Logic, 2021
2020
J. Cybersecur. Priv., December, 2020
Information Security and Cryptography, Springer, ISBN: 978-3-319-96131-6, 2020
CoRR, 2020
Generalized Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection.
Proceedings of the IEEE European Symposium on Security and Privacy, 2020
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2019
Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection.
CoRR, 2019
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019
Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets.
Proceedings of the 2019 IEEE Security and Privacy Workshops, 2019
Catch me if you can: how geo-indistinguishability affects utility in mobility-based geographic datasets.
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Location-based Recommendations, 2019
Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Entropy, 2018
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018
Proceedings of the Artificial Neural Networks in Pattern Recognition, 2018
2017
Proc. Priv. Enhancing Technol., 2017
Log. Methods Comput. Sci., 2017
J. Comput. Syst. Sci., 2017
Found. Trends Priv. Secur., 2017
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017
2016
Theor. Comput. Sci., 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Theory Pract. Log. Program., 2015
Proc. Priv. Enhancing Technol., 2015
Math. Struct. Comput. Sci., 2015
J. Comput. Secur., 2015
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Proceedings of the Distributed Computing and Internet Technology, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Proceedings of the Privacy Enhancing Technologies - 14th International Symposium, 2014
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
2013
Proceedings of the Logic, Language, Information, and Computation, 2013
Proceedings of the Principles of Security and Trust - Second International Conference, 2013
Proceedings of the Privacy Enhancing Technologies - 13th International Symposium, 2013
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013
2012
ACM Trans. Comput. Log., 2012
Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Foundations of Security Analysis and Design VI, 2011
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Compositional modelling of signalling pathways in timed concurrent constraint programming.
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
IEEE Trans. Software Eng., 2009
A quantitative doxastic logic for probabilistic processes and applications to information-hiding.
J. Appl. Non Class. Logics, 2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009
2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Concurrency, 2008
2007
Theor. Comput. Sci., 2007
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange.
Theor. Comput. Sci., 2007
Theor. Comput. Sci., 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006
Languages for Concurrency.
Bull. EATCS, 2006
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the Second Workshop on Structural Operational Semantics, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Recursion vs Replication in Process Calculi: Expressiveness.
Bull. EATCS, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
Proceedings of the Processes, 2005
2003
Math. Struct. Comput. Sci., 2003
2002
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.
Nord. J. Comput., 2002
On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk).
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
A Randomized Solution to the Distributed Resource Allocation Problem.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000
Proceedings of the Computational Logic, 2000
1999
Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98
J. Funct. Log. Program., 1999
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility.
Proceedings of the CONCUR '99: Concurrency Theory, 1999
The Replacement Operation for CCP Programs.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998
1997
ACM Trans. Program. Lang. Syst., 1997
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput., 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997
Constraint programming for concurrent and distributed computing.
Proceedings of the JFPLC'97, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
Proceedings of the Static Analysis, Third International Symposium, 1996
1995
Theor. Comput. Sci., 1995
Concurrent Constraint Programming with Information Removal.
Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995
1994
Appl. Algebra Eng. Commun. Comput., 1994
Denotational semantics for Concurrent Constraint Programs analyses.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994
Proving correctness of Concurrent Constraint Programs.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994
Proceedings of the Programming Languages and Systems, 1994
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994
Fixpoint Semantics of L lambda.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
Confluence and Concurrent Constraint Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Inf. Comput., March, 1993
Fixpoint Semantics of L-lambda.
Proceedings of the Logic Programming, 1993
Non-monotonic Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
1992
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci., 1992
Proceedings of the Sematics: Foundations and Applications, 1992
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
A Process Algebra of Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1992
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992
Proceedings of the Algebraic and Logic Programming, 1992
1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.
Proceedings of the Logic Programming, 1991
Proceedings of the CONCUR '91, 1991
Proceedings of the CONCUR '91, 1991
1990
Failure and Success made Symmetric.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
Concurrent Logic Programming: Asynchronism and Language Comparison.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990
On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.
Proceedings of the CONCUR '90, 1990
1989
Theor. Comput. Sci., 1989
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Semantic Models for a Version of PARLOG.
Proceedings of the Logic Programming, 1989
1988
A New Declarative Semantics for Logic Languages.
Proceedings of the Logic Programming, 1988
1987
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987
Proceedings of the PARLE, 1987
An Approach to the Declarative Semantics of Synchronization in Logic Languages.
Proceedings of the Logic Programming, 1987
1985
The Declarative Semantics of Logical Read-Only Variables.
Proceedings of the 1985 Symposium on Logic Programming, 1985
1984
Inf. Control., 1984
1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983