P. Malacaria
发表
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2005,
J. Log. Comput..
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2005,
QAPL.
Sebastian Hunt,
P. Malacaria,
D. Clark,
2004
.
C. Hankin,
P. Malacaria,
Przemyslaw Buczkowski,
2022,
SAT-CPS@CODASPY.
Gilbert L. Peterson,
Emil C. Lupu,
Munindar P. Singh,
2015
.
C. Hankin,
P. Malacaria,
Przemyslaw Buczkowski,
2022,
ArXiv.
P. Malacaria,
Boris Köpf,
C. Palamidessi,
2013
.
David M. Clark,
Pasquale Malacaria,
Sebastian Hunt,
2004
.
M. Khouzani,
P. Malacaria,
Arthur Américo,
2021,
Entropy.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2015,
ArXiv.
Pasquale Malacaria,
Arthur Américo,
P. Malacaria,
2020,
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Pasquale Malacaria,
Mhr. Khouzani,
Arthur Americo,
2020,
IEEE Transactions on Information Theory.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2014,
GameSec.
Radha Jagadeesan,
Pasquale Malacaria,
Samson Abramsky,
1994,
Inf. Comput..
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2015,
Decis. Support Syst..
Pasquale Malacaria,
Fabrizio Smeraldi,
P. Malacaria,
2014,
ACySE '14.
Pasquale Malacaria,
P. Malacaria,
2014,
Mathematical Structures in Computer Science.
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2010,
SFM.
Emmanouil A. Panaousis,
Tansu Alpcan,
Aron Laszka,
2015,
2015 IEEE International Conference on Communication Workshop (ICCW).
Pasquale Malacaria,
Quoc-Sang Phan,
P. Malacaria,
2015,
2015 10th International Conference on Availability, Reliability and Security.
Pasquale Malacaria,
Yunxiao Zhang,
P. Malacaria,
2021,
Decis. Support Syst..
Pasquale Malacaria,
Quoc-Sang Phan,
P. Malacaria,
2014,
AsiaCCS.
Chris Hankin,
Pasquale Malacaria,
C. Hankin,
2013,
Computation, Logic, Games, and Quantum Foundations.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2014,
SEC.
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Pasquale Malacaria,
Dino Distefano,
Michael Tautchning,
2016,
ISoLA.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2013,
Theor. Comput. Sci..
Pasquale Malacaria,
Mhr. Khouzani,
Zhengliang Liu,
2019,
Eur. J. Oper. Res..
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2007,
J. Comput. Secur..
Pasquale Malacaria,
MHR. Khouzani,
M. Khouzani,
2018,
IEEE Transactions on Information Theory.
E. Panaousis,
G. Loukas,
P. Malacaria,
2023,
Comput. Secur..
Pasquale Malacaria,
M. H. R. Khouzani,
Marcello De Bernardi,
2018,
Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML.
Ferda Özdemir Sönmez,
P. Malacaria,
Christiana C. Hankin,
2022,
Comput. Secur..
Tevfik Bultan,
Corina S. Pasareanu,
Pasquale Malacaria,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Marcelo d'Amorim,
Corina S. Pasareanu,
Pasquale Malacaria,
2014,
SPIN.
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
pdf
Pasquale Malacaria,
P. Malacaria,
2011,
ArXiv.
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2010,
ACSAC '10.
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2010,
ArXiv.
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2009,
Formal Aspects in Security and Trust.
Corina S. Pasareanu,
Pasquale Malacaria,
Kasper Søe Luckow,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Samson Abramsky,
Pasquale Malacaria,
Radha Jagadeesan,
1996
.
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2002,
QAPL.
Pasquale Malacaria,
P. Malacaria,
2013
.
Pasquale Malacaria,
P. Malacaria,
2010,
CAV.
Pasquale Malacaria,
P. Malacaria,
2010,
J. Comput. Secur..
Pasquale Malacaria,
P. Malacaria,
2007,
POPL '07.
David M. Clark,
Pasquale Malacaria,
Sebastian Hunt,
2004
.
P. Malacaria,
J. Heusser,
2009
.
P. Malacaria,
Yunxiao Zhang,
2023,
2023 IEEE 36th Computer Security Foundations Symposium (CSF).
Pasquale Malacaria,
Yunxiao Zhang,
P. Malacaria,
2022,
IEEE Transactions on Dependable and Secure Computing.
Pasquale Malacaria,
Han Chen,
P. Malacaria,
2009,
ICITS.
Pasquale Malacaria,
Han Chen,
P. Malacaria,
2008,
PLAS '08.
Pasquale Malacaria,
Han Chen,
P. Malacaria,
2007,
PLAS '07.
Pasquale Malacaria,
Arindam Sharma,
MHR Khouzani,
2019,
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2015,
SOEN.