20 citations · 34 across the 7 of their papers we have counts for
9 papers
Structured but Fragile: On the Limits of LLMs in Cybersecurity Decision-Making
Pasquale Malacaria, Yunxiao Zhang
Large language models (LLMs) are increasingly used in cybersecurity workflows, yet it remains unclear whether they can perform structured security reasoning or merely rely on super…
Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool
Przemysław Buczkowski, Pasquale Malacaria, Chris Hankin +1
CySecTool is a tool that finds a cost-optimal security controls portfolio in a given budget for a probabilistic attack graph. A portfolio is a set of counter-measures, or controls,…
Generalised Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage under Symmetric Constraints
MHR Khouzani, Pasquale Malacaria
We introduce a novel generalization of entropy and conditional entropy from which most definitions from the literature can be derived as particular cases. Within this general frame…
Pseudo-Random Number Generation using Generative Adversarial Networks
Marcello De Bernardi, MHR Khouzani, Pasquale Malacaria
Pseudo-random number generators (PRNG) are a fundamental element of many security algorithms. We introduce a novel approach to their implementation, by proposing the use of generat…
Comparing Decision Support Approaches for Cyber Security Investment
Andrew Fielder, Emmanouil Panaousis, Pasquale Malacaria +2
When investing in cyber security resources, information security managers have to follow effective decision-making strategies. We refer to this as the cyber security investment cha…
Full Abstraction for PCF
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
An intensional model for the programming language PCF is described, in which the types of PCF are interpreted by games, and the terms by certain "history-free" strategies. This mod…