Pasquale Malacaria

Citat de

	Toate	Din 2019
Referințe bibliografice	4256	1580
h-index	32	22
i10-index	54	35

320

160

240

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 22 19 16 38 35 31 40 39 65 71 64 76 111 174 209 131 120 153 207 212 189 252 246 306 284 223 264 263 230

Acces public

Afișați-le pe toate

21 de articole

2 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Chris HankinProfessor of Computing Science, Imperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
Arman (MHR) KhouzaniSenior Lecturer, Victoria University of WellingtonAdresă de e-mail confirmată pe vuw.ac.nz
Fabrizio SmeraldiSenior Lecturer in AI, Queen Mary, University of LondonAdresă de e-mail confirmată pe qmul.ac.uk
David ClarkComputer Science, University College LondonAdresă de e-mail confirmată pe ucl.ac.uk
Quoc-Sang PhanFacebookAdresă de e-mail confirmată pe qmul.ac.uk
Sebastian HuntDepartment of Computer Science, City University LondonAdresă de e-mail confirmată pe soi.city.ac.uk
Manos PanaousisProfessor, Centre for Sustainable Cyber Security (CS2), University of GreenwichAdresă de e-mail confirmată pe greenwich.ac.uk
Corina PasareanuCMU/NASA AmesAdresă de e-mail confirmată pe nasa.gov
Radha JagadeesanProfessor. School of Computing.Adresă de e-mail confirmată pe depaul.edu
Samson AbramskyProfessor of Computer Science, UCLAdresă de e-mail confirmată pe ucl.ac.uk
Yunxiao ZhangLecturer, University of ExeterAdresă de e-mail confirmată pe exeter.ac.uk
Arthur AméricoProof Trading IncAdresă de e-mail confirmată pe qmul.ac.uk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkAdresă de e-mail confirmată pe itu.dk
Fabrizio BiondiAI Research Manager, AvastAdresă de e-mail confirmată pe mecenates.com
axel legayUCLouvainAdresă de e-mail confirmată pe uclouvain.be
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraAdresă de e-mail confirmată pe cs.ucsb.edu
Marcelo d'AmorimAssociate Professor, NC State UniversityAdresă de e-mail confirmată pe ncsu.edu
Arindam SharmaPhD candidate, Imperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
Aron LaszkaAssistant Professor, Pennsylvania State UniversityAdresă de e-mail confirmată pe psu.edu
Tasos DagiuklasLondon South Bank University, Head of Smart Internet Technologies HubAdresă de e-mail confirmată pe lsbu.ac.uk

Urmăriți

Pasquale Malacaria

Professor, Queen Mary University of London

Adresă de e-mail confirmată pe qmul.ac.uk - Pagina de pornire

Information Theory Verification Security Game Theory program analysis


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and computation 163 (2), 409-470, 2000	676	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	378	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	254	2007
Full abstraction for PCF S Abramsky, P Malacaria, R Jagadeesan Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994	249	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	239	2002
Assessing security threats of looping constructs P Malacaria Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007	222	2007
Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Journal of Logic and Computation 15 (2), 181-199, 2005	186	2005
Quantifying information leaks in software J Heusser, P Malacaria Proceedings of the 26th Annual Computer Security Applications Conference …, 2010	151	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
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	93	2019
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	93	2014
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
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	87	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	72	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
Bayesian Stackelberg games for cyber-security decision support Y Zhang, P Malacaria Decision Support Systems 148, 113599, 2021	46	2021

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori