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
https://portal.mardi4nfdi.de/entity/Q2849851	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pasquale Malacaria