Pasquale Malacaria

Citado por

	Total	Desde 2019
Citas	4019	1375
Índice h	29	20
Índice i10	53	35

320

160

240

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 22 20 14 36 35 31 40 39 66 71 64 75 109 175 209 128 118 153 204 211 189 249 246 308 279 227 256 255 48

Acceso público

Ver todo

21 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Chris HankinProfessor of Computing Science, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Arman (MHR) KhouzaniSenior Lecturer, Victoria University of WellingtonDirección de correo verificada de vuw.ac.nz
Fabrizio SmeraldiSenior Lecturer in AI, Queen Mary, University of LondonDirección de correo verificada de qmul.ac.uk
David ClarkComputer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Quoc-Sang PhanFacebookDirección de correo verificada de qmul.ac.uk
Sebastian HuntDepartment of Computer Science, City University LondonDirección de correo verificada de soi.city.ac.uk
Manos PanaousisProfessor of Cyber Security, Centre for Sustainable Cyber Security (CS2), University of GreenwichDirección de correo verificada de greenwich.ac.uk
Corina PasareanuCMU/NASA AmesDirección de correo verificada de nasa.gov
Radha JagadeesanProfessor. School of Computing.Dirección de correo verificada de depaul.edu
Samson AbramskyProfessor of Computer Science, UCLDirección de correo verificada de ucl.ac.uk
Arthur AméricoProof Trading IncDirección de correo verificada de qmul.ac.uk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkDirección de correo verificada de itu.dk
axel legayUCLouvainDirección de correo verificada de uclouvain.be
Yunxiao ZhangLecturer, University of ExeterDirección de correo verificada de exeter.ac.uk
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraDirección de correo verificada de cs.ucsb.edu
Marcelo d'AmorimAssociate Professor, NC State UniversityDirección de correo verificada de ncsu.edu
Arindam SharmaPhD candidate, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Kasper Søe LuckowAmazon Web ServicesDirección de correo verificada de amazon.com
Aron LaszkaAssistant Professor, Pennsylvania State UniversityDirección de correo verificada de psu.edu
Tasos DagiuklasLondon South Bank University, Head of Research Centre for Cognitive SystemsDirección de correo verificada de lsbu.ac.uk

Seguir

Pasquale Malacaria

Professor, Queen Mary University of London

Dirección de correo verificada de qmul.ac.uk - Página principal

Information Theory Verification Security Game Theory program analysis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and computation 163 (2), 409-470, 2000	663	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	328	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	245	2007
Full abstraction for PCF S Abramsky, P Malacaria, R Jagadeesan Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994	243	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	227	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	182	2005
Quantifying information leaks in software J Heusser, P Malacaria Proceedings of the 26th annual computer security applications conference …, 2010	144	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	116	2016
Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005	113	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	89	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	81	2017
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	78	2019
Symbolic quantitative information flow QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	69	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	59	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	56	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	54	2014
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
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	46	1999

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores