Pasquale Malacaria

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 33

Top Topics

Countermeasures

Information Leakage

Top Venues

Publications

Yunxiao Zhang, Pasquale Malacaria, George Loukas, Emmanouil Panaousis
CROSS: A framework for cyber risk optimisation in smart homes. Comput. Secur. 130 (2023)
Yunxiao Zhang, Pasquale Malacaria
Keep Spending: Beyond Optimal Cyber-Security Investment. CSF (2023)
Yunxiao Zhang, Pasquale Malacaria
Optimization-Time Analysis for Cybersecurity. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
Decision support for healthcare cyber security. Comput. Secur. 122 (2022)
Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
Attack Dynamics: An Automatic Attack Graph Generation Framework Based on System Topology, CAPEC, CWE, and CVE Databases. Comput. Secur. 123 (2022)
Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool. CoRR (2022)
Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool. SAT-CPS@CODASPY (2022)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization. Entropy 24 (1) (2022)
Arthur Américo, Pasquale Malacaria
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. CSF (2021)
Yunxiao Zhang, Pasquale Malacaria
Bayesian Stackelberg games for cyber-security decision support. Decis. Support Syst. 148 (2021)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity. IEEE Trans. Inf. Theory 66 (9) (2020)
Arthur Américo, Pasquale Malacaria
QQIF: Quantum Quantitative Information Flow (invited paper). EuroS&P Workshops (2020)
M. H. R. Khouzani, Pasquale Malacaria
Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints. IEEE Trans. Inf. Theory 65 (2) (2019)
Arthur Américo, Pasquale Malacaria, M. H. R. Khouzani
Channel Ordering and Supermodularity. ITW (2019)
M. H. R. Khouzani, Zhengliang Liu, Pasquale Malacaria
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs. Eur. J. Oper. Res. 278 (3) (2019)
Arindam Sharma, Pasquale Malacaria, M. H. R. Khouzani
Malware Detection Using 1-Dimensional Convolutional Neural Networks. EuroS&P Workshops (2019)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Core-concavity, Gain Functions and Axioms for Information Leakage. The Art of Modelling Computational Systems (2019)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Deterministic Channel Design for Minimum Leakage. CSF (2019)
M. H. R. Khouzani, Pasquale Malacaria
Information Theory in Game Theory. Entropy 20 (11) (2018)
Marcello De Bernardi, M. H. R. Khouzani, Pasquale Malacaria
Pseudo-Random Number Generation Using Generative Adversarial Networks. Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML (2018)
M. H. R. Khouzani, Pasquale Malacaria
Optimal Channel Design: A Game Theoretical Analysis. Entropy 20 (9) (2018)
M. H. R. Khouzani, Pasquale Malacaria
Generalised Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage under Symmetric Constraints. CoRR (2018)
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
Symbolic Side-Channel Analysis for Probabilistic Programs. CSF (2018)
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. 2018 (2018)
Marcello De Bernardi, M. H. R. Khouzani, Pasquale Malacaria
Pseudo-Random Number Generation using Generative Adversarial Networks. CoRR (2018)
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2017 (2017)
M. H. R. Khouzani, Pasquale Malacaria
Leakage-Minimal Design: Universality, Limitations, and Applications. CSF (2017)
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
Synthesis of Adaptive Side-Channel Attacks. CSF (2017)
M. H. R. Khouzani, Pasquale Malacaria
Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design. CSF (2016)
Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Decision support approaches for cyber security investment. Decis. Support Syst. 86 (2016)
Pasquale Malacaria, Michael Tautschnig, Dino Distefano
Information Leakage Analysis of Complex C Code and Its application to OpenSSL. ISoLA (1) (2016)
Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF (2016)
M. H. R. Khouzani, Pasquale Malacaria, Chris Hankin, Andrew Fielder, Fabrizio Smeraldi
Efficient Numerical Frameworks for Multi-objective Cyber Security Planning. ESORICS (2) (2016)
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu
Concurrent Bounded Model Checking. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
Quantifying information leakage of randomized protocols. Theor. Comput. Sci. 597 (2015)
Pasquale Malacaria
Algebraic foundations for quantitative information flow. Math. Struct. Comput. Sci. 25 (2) (2015)
Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Comparing Decision Support Approaches for Cyber Security Investment. CoRR (2015)
Quoc-Sang Phan, Pasquale Malacaria
All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. ARES (2015)
George Rontidis, Emmanouil A. Panaousis, Aron Laszka, Tasos Dagiuklas, Pasquale Malacaria, Tansu Alpcan
A game-theoretic approach for minimizing security risks in the Internet-of-Things. ICC Workshops (2015)
Quoc-Sang Phan, Pasquale Malacaria
Abstract model counting: a novel approach for quantification of information leaks. AsiaCCS (2014)
Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Game Theory Meets Information Security Management. SEC (2014)
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
Quantifying information leaks using reliability analysis. SPIN (2014)
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
Information Leakage of Non-Terminating Processes. FSTTCS (2014)
Emmanouil A. Panaousis, Andrew Fielder, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Cybersecurity Games and Investments: A Decision Support Approach. GameSec (2014)
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
Quantifying Information Leakage of Randomized Protocols. VMCAI (2013)
Xujing Huang, Pasquale Malacaria
SideAuto: quantitative information flow for side-channel leakage in web applications. WPES (2013)
Pasquale Malacaria, Fabrizio Smeraldi
Thermodynamic aspects of confidentiality. Inf. Comput. 226 (2013)
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Full Abstraction for PCF. CoRR (2013)
Chris Hankin, Pasquale Malacaria
Payoffs, Intensionality and Abstraction in Games. Computation, Logic, Games, and Quantum Foundations (2013)
Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi
Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports 2 (11) (2012)
Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Pasquale Malacaria, Fabrizio Smeraldi
The Thermodynamics of Confidentiality. CSF (2012)
Pasquale Malacaria
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow CoRR (2011)
Pasquale Malacaria
by Chris Hankin. Comput. J. 53 (6) (2010)
Pasquale Malacaria
Quantitative Information Flow: From Theory to Practice? CAV (2010)
Pasquale Malacaria, Jonathan Heusser
Information Theory and Security: Quantitative Information Flow. SFM (2010)
Jonathan Heusser, Pasquale Malacaria
Quantifying Information Leak Vulnerabilities CoRR (2010)
Pasquale Malacaria
Risk assessment of security threats for looping constructs. J. Comput. Secur. 18 (2) (2010)
Jonathan Heusser, Pasquale Malacaria
Quantifying information leaks in software. ACSAC (2010)
Pasquale Malacaria, Fabrizio Smeraldi
On Adaboost and Optimal Betting Strategies. DMIN (2009)
Han Chen, Pasquale Malacaria
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions SECCO (2009)
Jonathan Heusser, Pasquale Malacaria
Applied Quantitative Information Flow and Statistical Databases. Formal Aspects in Security and Trust (2009)
Han Chen, Pasquale Malacaria
Quantifying maximal loss of anonymity in protocols. AsiaCCS (2009)
Han Chen, Pasquale Malacaria
The Optimum Leakage Principle for Analyzing Multi-threaded Programs. ICITS (2009)
Pasquale Malacaria, Han Chen
Lagrange multipliers and maximum information leakage in different observational models. PLAS (2008)
David Clark, Sebastian Hunt, Pasquale Malacaria
A static analysis for quantifying information flow in a simple imperative language. J. Comput. Secur. 15 (3) (2007)
Pasquale Malacaria
Assessing security threats of looping constructs. POPL (2007)
Han Chen, Pasquale Malacaria
Quantitative analysis of leakage for multi-threaded programs. PLAS (2007)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15 (2) (2005)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantified Interference for a While Language. Electron. Notes Theor. Comput. Sci. 112 (2005)
Antonio Bucciarelli, Pasquale Malacaria
Relative definability of boolean functions via hypergraphs. Theor. Comput. Sci. 278 (1-2) (2002)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Analysis of the Leakage of Confidential Data. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Full Abstraction for PCF. Inf. Comput. 163 (2) (2000)
Pasquale Malacaria, Chris Hankin
Non-Deterministic Games and Program Analysis: An Application to Security. LICS (1999)
Chris Hankin, Pasquale Malacaria
Program Analysis Games. ACM Comput. Surv. 31 (3es) (1999)
Pasquale Malacaria, Chris Hankin
A New Approach to Control Flow Analysis. CC (1998)
Pasquale Malacaria, Chris Hankin
Generalised Flowcharts and Games. ICALP (1998)
Pasquale Malacaria
Studying Equivalences of Transition Systems with Algebraic Tools. Theor. Comput. Sci. 139 (1&2) (1995)
Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
Full Abstraction for PCF. TACS (1994)
Pasquale Malacaria
Equivalences of Transition Systems in an Algebraic Framework. AMAST (1993)
Thomas Ehrhard, Pasquale Malacaria
Stone Duality for Stable Functions. Category Theory and Computer Science (1991)
Pasquale Malacaria, Laurent Regnier
Some Results on the Interpretation of lambda-calculus in Operator Algebras LICS (1991)