Pasquale Malacaria

85 papers A* 5A 12B 4Misc 1Journal 37Unranked 25

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