Følg
Pasquale Malacaria
Pasquale Malacaria
Professor, Queen Mary University of London
Verifisert e-postadresse på qmul.ac.uk - Startside
Tittel
Sitert av
Sitert av
År
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
6902000
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision support systems 86, 13-23, 2016
3822016
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
2592007
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994
2541994
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
2422002
Assessing security threats of looping constructs
P Malacaria
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
2212007
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Journal of Logic and Computation 15 (2), 181-199, 2005
1902005
Quantifying information leaks in software
J Heusser, P Malacaria
Proceedings of the 26th annual computer security applications conference …, 2010
1572010
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
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
952008
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
922019
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
912014
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
752012
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
552014
Bayesian Stackelberg games for cyber-security decision support
Y Zhang, P Malacaria
Decision Support Systems 148, 113599, 2021
522021
Malware detection using 1-dimensional convolutional neural networks
A Sharma, P Malacaria, MHR Khouzani
2019 IEEE European symposium on security and privacy workshops (EuroS&PW …, 2019
462019
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20