Follow
Pasquale Malacaria
Title
Cited by
Cited by
Year
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
6612000
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision support systems 86, 13-23, 2016
3252016
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
2452007
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994
2431994
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
2262002
Assessing security threats of looping constructs
P Malacaria
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
2172007
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Journal of Logic and Computation 15 (2), 181-199, 2005
1822005
Quantifying information leaks in software
J Heusser, P Malacaria
Proceedings of the 26th annual computer security applications conference …, 2010
1422010
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
1162016
Quantified interference for a while language
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005
1132005
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
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
892014
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
802017
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
772019
Symbolic quantitative information flow
QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
692012
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
592014
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
562014
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
Quantitative analysis of leakage for multi-threaded programs
H Chen, P Malacaria
Proceedings of the 2007 workshop on Programming languages and analysis for …, 2007
462007
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
461999
The system can't perform the operation now. Try again later.
Articles 1–20