Stone Duality for Stable Functions. - Thomas Ehrhard; Pasquale Malacaria (Category Theory and Computer Science, 1991)

Some Results on the Interpretation of lambda-calculus in Operator Algebras - Pasquale Malacaria; Laurent Regnier (LICS, 1991)

Equivalences of Transition Systems in an Algebraic Framework. - Pasquale Malacaria (AMAST, 1993)

Studying Equivalences of Transition Systems with Algebraic Tools. - Pasquale Malacaria (Theor. Comput. Sci., 1995)

A New Approach to Control Flow Analysis. - Pasquale Malacaria; Chris Hankin (CC, 1998)

Generalised Flowcharts and Games. - Pasquale Malacaria; Chris Hankin (ICALP, 1998)

Non-Deterministic Games and Program Analysis: An Application to Security. - Pasquale Malacaria; Chris Hankin (LICS, 1999)

Program Analysis Games. - Chris Hankin; Pasquale Malacaria (ACM Comput. Surv., 1999)

Full Abstraction for PCF. - Samson Abramsky; Radha Jagadeesan; Pasquale Malacaria (Inf. Comput., 2000)

Quantitative Analysis of the Leakage of Confidential Data. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (QAPL, 2001)

Relative definability of boolean functions via hypergraphs. - Antonio Bucciarelli; Pasquale Malacaria (Theor. Comput. Sci., 2002)

Quantified Interference for a While Language. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (QAPL, 2004)

Quantitative Information Flow, Relations and Polymorphic Types. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (J. Log. Comput., 2005)

Quantitative analysis of leakage for multi-threaded programs. - Han Chen; Pasquale Malacaria (PLAS, 2007)

Assessing security threats of looping constructs. - Pasquale Malacaria (POPL, 2007)

A static analysis for quantifying information flow in a simple imperative language. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (J. Comput. Secur., 2007)

Lagrange multipliers and maximum information leakage in different observational models. - Pasquale Malacaria; Han Chen (PLAS, 2008)

Quantifying maximal loss of anonymity in protocols. - Han Chen; Pasquale Malacaria (AsiaCCS, 2009)

On Adaboost and Optimal Betting Strategies. - Pasquale Malacaria; Fabrizio Smeraldi (DMIN, 2009)

The Optimum Leakage Principle for Analyzing Multi-threaded Programs. - Han Chen; Pasquale Malacaria (ICITS, 2009)

Applied Quantitative Information Flow and Statistical Databases. - Jonathan Heusser; Pasquale Malacaria (Formal Aspects in Security and Trust, 2009)

Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions - Han Chen; Pasquale Malacaria (SECCO, 2009)

Quantifying information leaks in software. - Jonathan Heusser; Pasquale Malacaria (ACSAC, 2010)

Quantitative Information Flow: From Theory to Practice? - Pasquale Malacaria (CAV, 2010)

Information Theory and Security: Quantitative Information Flow. - Pasquale Malacaria; Jonathan Heusser (SFM, 2010)

Program Analysis Probably Counts: Discussant Contribution for the Computer Journal Lecture by Chris Hankin. - Pasquale Malacaria (Comput. J., 2010)

Quantifying Information Leak Vulnerabilities - Jonathan Heusser; Pasquale Malacaria (CoRR, 2010)

Risk assessment of security threats for looping constructs. - Pasquale Malacaria (J. Comput. Secur., 2010)

Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow - Pasquale Malacaria (CoRR, 2011)

The Thermodynamics of Confidentiality. - Pasquale Malacaria; Fabrizio Smeraldi (CSF, 2012)

Quantitative Security Analysis (Dagstuhl Seminar 12481). - Boris Köpf; Pasquale Malacaria; Catuscia Palamidessi (Dagstuhl Reports, 2012)

Symbolic quantitative information flow. - Quoc-Sang Phan; Pasquale Malacaria; Oksana Tkachuk; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2012)

Payoffs, Intensionality and Abstraction in Games. - Chris Hankin; Pasquale Malacaria (Computation, Logic, Games, and Quantum Foundations, 2013)

SideAuto: quantitative information flow for side-channel leakage in web applications. - Xujing Huang; Pasquale Malacaria (WPES, 2013)

Thermodynamic aspects of confidentiality. - Pasquale Malacaria; Fabrizio Smeraldi (Inf. Comput., 2013)

Abstract model counting: a novel approach for quantification of information leaks. - Quoc-Sang Phan; Pasquale Malacaria (AsiaCCS, 2014)

Information Leakage of Non-Terminating Processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Pasquale Malacaria; Andrzej Wasowski (FSTTCS, 2014)

Cybersecurity Games and Investments: A Decision Support Approach. - Emmanouil A. Panaousis; Andrew Fielder; Pasquale Malacaria; Chris Hankin; Fabrizio Smeraldi (GameSec, 2014)

Game Theory Meets Information Security Management. - Andrew Fielder; Emmanouil A. Panaousis; Pasquale Malacaria; Chris Hankin; Fabrizio Smeraldi (SEC, 2014)

Quantifying information leaks using reliability analysis. - Quoc-Sang Phan; Pasquale Malacaria; Corina S. Pasareanu; Marcelo d'Amorim (SPIN, 2014)

All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. - Quoc-Sang Phan; Pasquale Malacaria (ARES, 2015)

A game-theoretic approach for minimizing security risks in the Internet-of-Things. - George Rontidis; Emmanouil A. Panaousis; Aron Laszka; Tasos Dagiuklas; Pasquale Malacaria; Tansu Alpcan (ICC Workshops, 2015)

Comparing Decision Support Approaches for Cyber Security Investment. - Andrew Fielder; Emmanouil A. Panaousis; Pasquale Malacaria; Chris Hankin; Fabrizio Smeraldi (CoRR, 2015)

Algebraic foundations for quantitative information flow. - Pasquale Malacaria (Math. Struct. Comput. Sci., 2015)

Concurrent Bounded Model Checking. - Quoc-Sang Phan; Pasquale Malacaria; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2015)

Quantifying information leakage of randomized protocols. - Fabrizio Biondi; Axel Legay; Pasquale Malacaria; Andrzej Wasowski (Theor. Comput. Sci., 2015)

Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design. - M. H. R. Khouzani; Pasquale Malacaria (CSF, 2016)

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. - Corina S. Pasareanu; Quoc-Sang Phan; Pasquale Malacaria (CSF, 2016)

Efficient Numerical Frameworks for Multi-objective Cyber Security Planning. - M. H. R. Khouzani; Pasquale Malacaria; Chris Hankin; Andrew Fielder; Fabrizio Smeraldi (ESORICS (2), 2016)

Information Leakage Analysis of Complex C Code and Its application to OpenSSL. - Pasquale Malacaria; Michael Tautschnig; Dino Distefano (ISoLA (1), 2016)

Decision support approaches for cyber security investment. - Andrew Fielder; Emmanouil A. Panaousis; Pasquale Malacaria; Chris Hankin; Fabrizio Smeraldi (Decis. Support Syst., 2016)

Leakage-Minimal Design: Universality, Limitations, and Applications. - M. H. R. Khouzani; Pasquale Malacaria (CSF, 2017)

Synthesis of Adaptive Side-Channel Attacks. - Quoc-Sang Phan; Lucas Bang; Corina S. Pasareanu; Pasquale Malacaria; Tevfik Bultan (IACR Cryptol. ePrint Arch., 2017)

Pseudo-Random Number Generation Using Generative Adversarial Networks. - Marcello De Bernardi; M. H. R. Khouzani; Pasquale Malacaria (Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML, 2018)

Generalised Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage under Symmetric Constraints. - M. H. R. Khouzani; Pasquale Malacaria (CoRR, 2018)

Optimal Channel Design: A Game Theoretical Analysis. - M. H. R. Khouzani; Pasquale Malacaria (Entropy, 2018)

Information Theory in Game Theory. - M. H. R. Khouzani; Pasquale Malacaria (Entropy, 2018)

Symbolic Side-Channel Analysis for Probabilistic Programs. - Pasquale Malacaria; M. H. R. Khouzani; Corina S. Pasareanu; Quoc-Sang Phan; Kasper Søe Luckow (IACR Cryptol. ePrint Arch., 2018)

Core-concavity, Gain Functions and Axioms for Information Leakage. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (The Art of Modelling Computational Systems, 2019)

Deterministic Channel Design for Minimum Leakage. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (CSF, 2019)

Malware Detection Using 1-Dimensional Convolutional Neural Networks. - Arindam Sharma; Pasquale Malacaria; M. H. R. Khouzani (EuroS&P Workshops, 2019)

Channel Ordering and Supermodularity. - Arthur Américo; Pasquale Malacaria; M. H. R. Khouzani (ITW, 2019)

Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs. - M. H. R. Khouzani; Zhengliang Liu; Pasquale Malacaria (Eur. J. Oper. Res., 2019)

Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints. - M. H. R. Khouzani; Pasquale Malacaria (IEEE Trans. Inf. Theory, 2019)

QQIF: Quantum Quantitative Information Flow (invited paper). - Arthur Américo; Pasquale Malacaria (EuroS&P Workshops, 2020)

Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (IEEE Trans. Inf. Theory, 2020)

Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. - Arthur Américo; Pasquale Malacaria (CSF, 2021)

Bayesian Stackelberg games for cyber-security decision support. - Yunxiao Zhang 001; Pasquale Malacaria (Decis. Support Syst., 2021)

Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool. - Przemyslaw Buczkowski; Pasquale Malacaria; Chris Hankin; Andrew Fielder (SAT-CPS@CODASPY, 2022)

Attack Dynamics: An Automatic Attack Graph Generation Framework Based on System Topology, CAPEC, CWE, and CVE Databases. - Ferda Özdemir Sönmez; Chris Hankin; Pasquale Malacaria (Comput. Secur., 2022)

Decision support for healthcare cyber security. - Ferda Özdemir Sönmez; Chris Hankin; Pasquale Malacaria (Comput. Secur., 2022)

Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool. - Przemyslaw Buczkowski; Pasquale Malacaria; Chris Hankin; Andrew Fielder (CoRR, 2022)

Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (Entropy, 2022)

Optimization-Time Analysis for Cybersecurity. - Yunxiao Zhang 001; Pasquale Malacaria (IEEE Trans. Dependable Secur. Comput., 2022)

Keep Spending: Beyond Optimal Cyber-Security Investment. - Yunxiao Zhang 001; Pasquale Malacaria (CSF, 2023)

CROSS: A framework for cyber risk optimisation in smart homes. - Yunxiao Zhang 001; Pasquale Malacaria; George Loukas; Emmanouil Panaousis (Comput. Secur., 2023)

Dealing with uncertainty in cybersecurity decision support. - Yunxiao Zhang 001; Pasquale Malacaria (Comput. Secur., 2025)