Pasquale Malacaria
发表
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2015,
Decis. Support Syst..
Pasquale Malacaria,
Han Chen,
P. Malacaria,
2007,
PLAS '07.
Antonio Bucciarelli,
Pasquale Malacaria,
2002,
Theor. Comput. Sci..
Pasquale Malacaria,
Arthur Américo,
P. Malacaria,
2020,
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2010,
ArXiv.
Corina S. Pasareanu,
Pasquale Malacaria,
Kasper Søe Luckow,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Pasquale Malacaria,
M. H. R. Khouzani,
2018,
Entropy.
Pasquale Malacaria,
1993,
AMAST.
Pasquale Malacaria,
Mhr. Khouzani,
Arthur Americo,
2020,
IEEE Transactions on Information Theory.
Pasquale Malacaria,
Dino Distefano,
Michael Tautchning,
2016,
ISoLA.
Chris Hankin,
Andrew Fielder,
Pasquale Malacaria,
2016,
ESORICS.
Pasquale Malacaria,
Fabrizio Smeraldi,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Pasquale Malacaria,
P. Malacaria,
2010,
J. Comput. Secur..
Pasquale Malacaria,
Fabrizio Smeraldi,
P. Malacaria,
2014,
ACySE '14.
Pasquale Malacaria,
Laurent Regnier,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Pasquale Malacaria,
M. H. R. Khouzani,
2018,
Entropy.
Pasquale Malacaria,
Arthur Américo,
M. H. R. Khouzani,
2019,
The Art of Modelling Computational Systems.
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2015,
SOEN.
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2014,
SEC.
Marcelo d'Amorim,
Corina S. Pasareanu,
Pasquale Malacaria,
2014,
SPIN.
Thomas Ehrhard,
Pasquale Malacaria,
1991,
Category Theory and Computer Science.
Chris Hankin,
Pasquale Malacaria,
1998,
ICALP.
Pasquale Malacaria,
Han Chen,
P. Malacaria,
2008,
PLAS '08.
Chris Hankin,
Pasquale Malacaria,
1998,
CC.
Tevfik Bultan,
Corina S. Pasareanu,
Pasquale Malacaria,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Pasquale Malacaria,
M. H. R. Khouzani,
Marcello De Bernardi,
2018,
Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2014,
GameSec.
Pasquale Malacaria,
Han Chen,
P. Malacaria,
2009,
ICITS.
Pasquale Malacaria,
P. Malacaria,
2007,
POPL '07.
Radha Jagadeesan,
Pasquale Malacaria,
Samson Abramsky,
1994,
Inf. Comput..
Radha Jagadeesan,
Samson Abramsky,
Pasquale Malacaria,
2000,
Inf. Comput..
Chris Hankin,
Pasquale Malacaria,
C. Hankin,
2013,
Computation, Logic, Games, and Quantum Foundations.
Chris Hankin,
Pasquale Malacaria,
1999,
CSUR.
Pasquale Malacaria,
P. Malacaria,
2014,
Mathematical Structures in Computer Science.
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
pdf
Pasquale Malacaria,
P. Malacaria,
2011,
ArXiv.
Chris Hankin,
Pasquale Malacaria,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2009,
Formal Aspects in Security and Trust.
Samson Abramsky,
Pasquale Malacaria,
Radha Jagadeesan,
1996
.
Pasquale Malacaria,
1995,
Theor. Comput. Sci..
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2015,
ArXiv.
Pasquale Malacaria,
Quoc-Sang Phan,
P. Malacaria,
2014,
AsiaCCS.
Pasquale Malacaria,
M. H. R. Khouzani,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Pasquale Malacaria,
MHR. Khouzani,
Arthur Américo,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2012,
SOEN.
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2002,
QAPL.
Pasquale Malacaria,
Catuscia Palamidessi,
Boris Köpf,
2012,
Dagstuhl Reports.
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2007,
J. Comput. Secur..
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2005,
QAPL.
Pasquale Malacaria,
Jonathan Heusser,
P. Malacaria,
2010,
ACSAC '10.
Pasquale Malacaria,
Xujing Huang,
2013,
WPES.
Pasquale Malacaria,
Mhr. Khouzani,
Zhengliang Liu,
2019,
Eur. J. Oper. Res..
Pasquale Malacaria,
Han Chen,
2009,
SECCO.
Pasquale Malacaria,
Fabrizio Smeraldi,
2013,
Inf. Comput..
David Clark,
Pasquale Malacaria,
Sebastian Hunt,
2005,
J. Log. Comput..
Pasquale Malacaria,
MHR. Khouzani,
Arthur Américo,
2019,
2019 IEEE Information Theory Workshop (ITW).
David M. Clark,
Pasquale Malacaria,
Sebastian Hunt,
2004
.
Pasquale Malacaria,
Han Chen,
2009,
ASIACCS '09.
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,
Arindam Sharma,
MHR Khouzani,
2019,
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2013,
Theor. Comput. Sci..
Pasquale Malacaria,
Quoc-Sang Phan,
P. Malacaria,
2015,
2015 10th International Conference on Availability, Reliability and Security.
Pasquale Malacaria,
Fabrizio Smeraldi,
2009,
DMIN.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2014,
FSTTCS.
Pasquale Malacaria,
P. Malacaria,
2013
.
David M. Clark,
Pasquale Malacaria,
Sebastian Hunt,
2004
.
Pasquale Malacaria,
M. H. R. Khouzani,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Pasquale Malacaria,
P. Malacaria,
2010,
CAV.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2015,
Theor. Comput. Sci..
Pasquale Malacaria,
MHR. Khouzani,
M. Khouzani,
2018,
IEEE Transactions on Information Theory.
Pasquale Malacaria,
Yunxiao Zhang,
P. Malacaria,
2022,
IEEE Transactions on Dependable and Secure Computing.
Pasquale Malacaria,
Yunxiao Zhang,
P. Malacaria,
2021,
Decis. Support Syst..
Pasquale Malacaria,
Arthur Américo,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).