Concepedia

Pasquale Malacaria

PM

35

Publications

2K

Citations

24

H-Index

2002

Active since

Affiliations

Queen Mary University of London(Current)

Ames Research Center

Imperial College London

City, University of London

Carnegie Mellon University

Pasquale Malacaria is an author at Queen Mary University of London specializing in engineering, computer science, and data security.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityFormal MethodsFormal VerificationData PrivacySoftware AnalysisCryptographyProgram Analysis

Publications per year

2002–2022

35

Publications

35

Decision support approaches for cyber security investment

Andrew Fielder, Emmanouil Panaousis, Pasquale Malacaria et al. · Decision Support Systems · 2016 · 235 citations · Full text

A static analysis for quantifying information flow in a simple imperative language

David Clark, Sebastian Hunt, Pasquale Malacaria · Journal of Computer Security · 2007 · 177 citations

Quantitative Analysis of the Leakage of Confidential Data

David Clark, Sebastian Hunt, Pasquale Malacaria · Electronic Notes in Theoretical Computer Science · 2002 · 164 citations · Full text

Engineering, Information Security, Information Leakage +24

Assessing security threats of looping constructs

Pasquale Malacaria · ACM SIGPLAN Notices · 2007 · 159 citations

Engineering, Information Security, Information Leakage +21

Quantifying information leaks in software

Jonathan Heusser, Pasquale Malacaria · 2010 · 117 citations

Software Maintenance, Program Checking, Engineering +23

Rows per page

1–5 of 35