Следене
Pasquale Malacaria
Заглавие
Позовавания
Позовавания
Година
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
6522000
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision support systems 86, 13-23, 2016
3172016
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
2441994
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
2292002
Assessing security threats of looping constructs
P Malacaria
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
2162007
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
Quantified interference for a while language
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005
1142005
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
1132016
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
882014
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
742017
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
722019
Symbolic quantitative information flow
QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
672012
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
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
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
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
451999
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20