Volgen
Pasquale Malacaria
Pasquale Malacaria
Professor, Queen Mary University of London
Geverifieerd e-mailadres voor qmul.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
6782000
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision support systems 86, 13-23, 2016
3842016
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
2562007
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994
2491994
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
2412002
Assessing security threats of looping constructs
P Malacaria
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
2222007
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Journal of Logic and Computation 15 (2), 181-199, 2005
1872005
Quantifying information leaks in software
J Heusser, P Malacaria
Proceedings of the 26th Annual Computer Security Applications Conference …, 2010
1552010
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
1182016
Quantified interference for a while language
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005
1142005
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
952019
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
932014
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
932008
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
882017
Symbolic quantitative information flow
QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
742012
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
622014
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
622014
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
542014
Bayesian Stackelberg games for cyber-security decision support
Y Zhang, P Malacaria
Decision Support Systems 148, 113599, 2021
502021
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
471999
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20