| 2019 | ITW | Channel Ordering and Supermodularity. | Arthur Amrico, Pasquale Malacaria, M. H. R. Khouzani |
| 2016 | ESORICS | Efficient Numerical Frameworks for Multi-objective Cyber Security Planning. | M. H. R. Khouzani, Pasquale Malacaria, Chris Hankin, Andrew Fielder, Fabrizio Smeraldi |
| 2016 | ISoLA | Information Leakage Analysis of Complex C Code and Its application to OpenSSL. | Pasquale Malacaria, Michael Tautschnig, Dino Distefano |
| 2014 | CCS | Abstract model counting: a novel approach for quantification of information leaks. | Quoc-Sang Phan, Pasquale Malacaria |
| 2014 | SEC | Game Theory Meets Information Security Management. | Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi |
| 2013 | VMCAI | Quantifying Information Leakage of Randomized Protocols. | Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski |
| 2010 | ACSAC | Quantifying information leaks in software. | Jonathan Heusser, Pasquale Malacaria |
| 2010 | CAV | Quantitative Information Flow: From Theory to Practice? | Pasquale Malacaria |
| 2009 | CCS | Quantifying maximal loss of anonymity in protocols. | Han Chen, Pasquale Malacaria |
| 2008 | PLDI | Lagrange multipliers and maximum information leakage in different observational models. | Pasquale Malacaria, Han Chen |
| 2007 | PLDI | Quantitative analysis of leakage for multi-threaded programs. | Han Chen, Pasquale Malacaria |
| 2007 | POPL | Assessing security threats of looping constructs. | Pasquale Malacaria |
| 1999 | LICS | Non-Deterministic Games and Program Analysis: An Application to Security. | Pasquale Malacaria, Chris Hankin |
| 1998 | CC | A New Approach to Control Flow Analysis. | Pasquale Malacaria, Chris Hankin |
| 1998 | ICALP | Generalised Flowcharts and Games. | Pasquale Malacaria, Chris Hankin |
| 1991 | LICS | Some Results on the Interpretation of lambda-calculus in Operator Algebras | Pasquale Malacaria, Laurent Regnier |