Pasquale Malacaria

Citado por

	Todos	Desde 2019
Citações	4179	1521
Índice h	30	22
Índice i10	53	35

320

160

240

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 22 19 16 38 35 31 40 39 65 71 64 76 111 174 209 131 120 153 207 212 187 251 246 304 283 221 263 260 187

Acesso público

Ver tudo

21 artigos

2 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Chris HankinProfessor of Computing Science, Imperial College LondonEmail confirmado em imperial.ac.uk
Arman (MHR) KhouzaniSenior Lecturer, Victoria University of WellingtonEmail confirmado em vuw.ac.nz
Fabrizio SmeraldiSenior Lecturer in AI, Queen Mary, University of LondonEmail confirmado em qmul.ac.uk
David ClarkComputer Science, University College LondonEmail confirmado em ucl.ac.uk
Quoc-Sang PhanFacebookEmail confirmado em qmul.ac.uk
Sebastian HuntDepartment of Computer Science, City University LondonEmail confirmado em soi.city.ac.uk
Manos PanaousisProfessor, Centre for Sustainable Cyber Security (CS2), University of GreenwichEmail confirmado em greenwich.ac.uk
Corina PasareanuCMU/NASA AmesEmail confirmado em nasa.gov
Radha JagadeesanProfessor. School of Computing.Email confirmado em depaul.edu
Samson AbramskyProfessor of Computer Science, UCLEmail confirmado em ucl.ac.uk
Arthur AméricoProof Trading IncEmail confirmado em qmul.ac.uk
Yunxiao ZhangLecturer, University of ExeterEmail confirmado em exeter.ac.uk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkEmail confirmado em itu.dk
Fabrizio BiondiAI Research Manager, AvastEmail confirmado em mecenates.com
axel legayUCLouvainEmail confirmado em uclouvain.be
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraEmail confirmado em cs.ucsb.edu
Marcelo d'AmorimAssociate Professor, NC State UniversityEmail confirmado em ncsu.edu
Arindam SharmaPhD candidate, Imperial College LondonEmail confirmado em imperial.ac.uk
Aron LaszkaAssistant Professor, Pennsylvania State UniversityEmail confirmado em psu.edu
Tasos DagiuklasLondon South Bank University, Head of Smart Internet Technologies HubEmail confirmado em lsbu.ac.uk

Seguir

Pasquale Malacaria

Professor, Queen Mary University of London

Email confirmado em qmul.ac.uk - Página inicial

Information Theory Verification Security Game Theory program analysis


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and computation 163 (2), 409-470, 2000	672	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	360	2016
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	251	2007
Full abstraction for PCF S Abramsky, P Malacaria, R Jagadeesan Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994	248	1994
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	235	2002
Assessing security threats of looping constructs P Malacaria Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007	220	2007
Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Journal of Logic and Computation 15 (2), 181-199, 2005	183	2005
Quantifying information leaks in software J Heusser, P Malacaria Proceedings of the 26th Annual Computer Security Applications Conference …, 2010	150	2010
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	118	2016
Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005	114	2005
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	93	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	91	2014
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	90	2019
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	86	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	71	2012
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	62	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	61	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
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	47	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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores