Pasquale Malacaria

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Core-concavity, Gain Functions and Axioms for Information Leakage	2024-03-14	Paper
Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity IEEE Transactions on Information Theory	2020-09-29	Paper
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs European Journal of Operational Research	2019-06-27	Paper
Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints IEEE Transactions on Information Theory	2019-01-28	Paper
Information leakage of non-terminating processes	2017-04-25	Paper
Algebraic foundations for quantitative information flow Mathematical Structures in Computer Science	2016-07-27	Paper
Quantifying information leakage of randomized protocols Theoretical Computer Science	2015-08-17	Paper
Quantifying information leakage of randomized protocols Lecture Notes in Computer Science	2014-11-03	Paper
Assessing security threats of looping constructs Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Thermodynamic aspects of confidentiality Information and Computation	2013-12-03	Paper
Quantified interference for a while language	2013-09-20	Paper
Payoffs, intensionality and abstraction in games Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky	2013-05-28	Paper
The optimum leakage principle for analyzing multi-threaded programs Lecture Notes in Computer Science	2010-09-29	Paper
Information theory and security: Quantitative information flow Formal Methods for Quantitative Aspects of Programming Languages	2010-07-06	Paper
Quantitative Information Flow, Relations and Polymorphic Types Journal Of Logic And Computation	2005-07-13	Paper
Full abstraction for PCF Information and Computation	2003-01-14	Paper
Relative definability of boolean functions via hypergraphs Theoretical Computer Science	2002-07-15	Paper
scientific article; zbMATH DE number 1479606 (Why is no real title available?) (available as arXiv preprint)	2000-07-20	Paper
Studying equivalences of transition systems with algebraic tools Theoretical Computer Science	1997-02-28	Paper
scientific article; zbMATH DE number 517037 (Why is no real title available?)	1994-04-17	Paper

Research outcomes over time

This page was built for person: Pasquale Malacaria