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
5722000
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
International Symposium on Theoretical Aspects of Computer Software, 1-15, 1994
2301994
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
2152007
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
1922002
Assessing security threats of looping constructs
P Malacaria
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
1912007
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision support systems 86, 13-23, 2016
1612016
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Journal of Logic and Computation 15 (2), 181-199, 2005
1572005
Quantifying information leaks in software
J Heusser, P Malacaria
Proceedings of the 26th Annual Computer Security Applications Conference …, 2010
1182010
Quantified interference for a while language
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005
1052005
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
832008
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
802016
Game theory meets information security management
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
IFIP International Information Security Conference, 15-29, 2014
632014
Symbolic quantitative information flow
QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
472012
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
452014
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
442017
Quantitative analysis of leakage for multi-threaded programs
H Chen, P Malacaria
Proceedings of the 2007 workshop on Programming languages and analysis for …, 2007
442007
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
441999
Cybersecurity games and investments: A decision support approach
E Panaousis, A Fielder, P Malacaria, C Hankin, F Smeraldi
International Conference on Decision and Game Theory for Security, 266-286, 2014
412014
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
352014
Some results on the interpretation of lambda-calculus in operator algebras
P Malacaria, L Regnier
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
311991
The system can't perform the operation now. Try again later.
Articles 1–20