Pasquale Malacaria

Available identifiers

zbMath Open malacaria.pasqualeMaRDI QIDQ385718

List of research outcomes

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	2020-09-29	Paper
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs	2019-06-27	Paper
Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints	2019-01-28	Paper
Information leakage of non-terminating processes	2017-04-25	Paper
Algebraic foundations for quantitative information flow	2016-07-27	Paper
Quantifying information leakage of randomized protocols	2015-08-17	Paper
Quantifying information leakage of randomized protocols	2014-11-03	Paper
Assessing security threats of looping constructs	2014-09-12	Paper
Thermodynamic aspects of confidentiality	2013-12-03	Paper
Quantified interference for a while language	2013-09-20	Paper
Payoffs, intensionality and abstraction in games	2013-05-28	Paper
The optimum leakage principle for analyzing multi-threaded programs	2010-09-29	Paper
Information theory and security: Quantitative information flow	2010-07-06	Paper
Quantitative Information Flow, Relations and Polymorphic Types	2005-07-13	Paper
Full abstraction for PCF	2003-01-14	Paper
Relative definability of boolean functions via hypergraphs	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4490717	2000-07-20	Paper
Studying equivalences of transition systems with algebraic tools	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4282565	1994-04-17	Paper

Research outcomes over time

This page was built for person: Pasquale Malacaria