Pasquale Malacaria

Cited by

	All	Since 2018
Citations	3750	1352
h-index	28	19
i10-index	48	31

320

160

240

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 22 18 14 35 35 31 42 36 69 76 66 76 102 166 222 133 108 152 195 211 206 254 240 302 281 228 246 55

Public access

View all

16 articles

1 article

available

not available

Based on funding mandates

Co-authors

Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Fabrizio SmeraldiSenior Lecturer in AI, Queen Mary, University of LondonVerified email at qmul.ac.uk
Arman (MHR) KhouzaniLecturer, Queen Mary University of London (QMUL)Verified email at qmul.ac.uk
David ClarkComputer Science, University College LondonVerified email at ucl.ac.uk
Quoc-Sang PhanFacebookVerified email at qmul.ac.uk
Sebastian HuntDepartment of Computer Science, City University LondonVerified email at soi.city.ac.uk
Manos PanaousisProfessor of Cyber Security, Internet of Things and Security Centre, University of GreenwichVerified email at greenwich.ac.uk
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Radha JagadeesanVerified email at cs.depaul.edu
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
axel legayUCLouvainVerified email at uclouvain.be
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu
Marcelo d'AmorimFederal University of PernambucoVerified email at cin.ufpe.br
Aron LaszkaAssistant Professor, Pennsylvania State UniversityVerified email at psu.edu
Tasos DagiuklasLondon South Bank University, Head of Research Centre for Cognitive SystemsVerified email at lsbu.ac.uk
George RontidisHellenic Open UniversityVerified email at ac.eap.gr
Tansu AlpcanProfessor, Dept. of EEE, the University of MelbourneVerified email at unimelb.edu.au
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk

Pasquale Malacaria

Professor, Queen Mary University of London

Verified email at qmul.ac.uk - Homepage

Information Theory Verification Security Game Theory program analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and computation 163 (2), 409-470, 2000	643	2000
Decision support approaches for cyber security investment A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi Decision support systems 86, 13-23, 2016	281	2016
Full abstraction for PCF S Abramsky, P Malacaria, R Jagadeesan Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994	240	1994
A static analysis for quantifying information flow in a simple imperative language D Clark, S Hunt, P Malacaria Journal of Computer Security 15 (3), 321-371, 2007	239	2007
Quantitative analysis of the leakage of confidential data D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002	223	2002
Assessing security threats of looping constructs P Malacaria Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007	217	2007
Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Journal of Logic and Computation 15 (2), 181-199, 2005	180	2005
Quantifying information leaks in software J Heusser, P Malacaria Proceedings of the 26th Annual Computer Security Applications Conference …, 2010	138	2010
Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005	113	2005
Multi-run side-channel analysis using Symbolic Execution and Max-SMT CS Pasareanu, QS Phan, P Malacaria 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 387-400, 2016	109	2016
Lagrange multipliers and maximum information leakage in different observational models P Malacaria, H Chen Proceedings of the third ACM SIGPLAN workshop on Programming languages and …, 2008	92	2008
Game theory meets information security management A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi ICT Systems Security and Privacy Protection: 29th IFIP TC 11 International …, 2014	87	2014
Synthesis of adaptive side-channel attacks QS Phan, L Bang, CS Pasareanu, P Malacaria, T Bultan 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 328-342, 2017	67	2017
Symbolic quantitative information flow QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	62	2012
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs MHR Khouzani, Z Liu, P Malacaria European Journal of Operational Research 278 (3), 894-903, 2019	60	2019
Quantifying information leaks using reliability analysis QS Phan, P Malacaria, CS Păsăreanu, M d'Amorim Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014	55	2014
Abstract model counting: a novel approach for quantification of information leaks QS Phan, P Malacaria Proceedings of the 9th ACM symposium on Information, computer and …, 2014	53	2014
Cybersecurity games and investments: A decision support approach E Panaousis, A Fielder, P Malacaria, C Hankin, F Smeraldi Decision and Game Theory for Security: 5th International Conference, GameSec …, 2014	52	2014
Non-deterministic games and program analysis: An application to security P Malacaria, C Hankin Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	48	1999
Quantitative analysis of leakage for multi-threaded programs H Chen, P Malacaria Proceedings of the 2007 workshop on Programming languages and analysis for …, 2007	46	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors