BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Portugal
1 × The Netherlands
1 × United Kingdom
3 × Italy
Collaborated with:
C.Hankin D.Clark S.Hunt J.Heusser L.Regnier F.Biondi A.Legay A.Wasowski
Talks about:
inform (4) quantit (3) analysi (3) secur (3) flow (3) quantifi (2) theori (2) leakag (2) game (2) determinist (1)

Person: Pasquale Malacaria

DBLP DBLP: Malacaria:Pasquale

Contributed to:

VMCAI 20132013
CAV 20102010
SFM 20102010
POPL 20072007
QAPL 20042005
QAPL 20012001
LICS 19991999
CC 19981998
ICALP 19981998
LICS 19911991

Wrote 10 papers:

VMCAI-2013-BiondiLMW #information management #protocol #random
Quantifying Information Leakage of Randomized Protocols (FB, AL, PM, AW), pp. 68–87.
CAV-2010-Malacaria #data flow #question #theory and practice
Quantitative Information Flow: From Theory to Practice? (PM), pp. 20–22.
SFM-2010-MalacariaH #data flow #security
Information Theory and Security: Quantitative Information Flow (PM, JH), pp. 87–134.
POPL-2007-Malacaria #security
Assessing security threats of looping constructs (PM), pp. 225–235.
QAPL-2004-ClarkHM05 #quantifier
Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.
QAPL-2001-ClarkHM #analysis
Quantitative Analysis of the Leakage of Confidential Data (DC, SH, PM), pp. 238–251.
LICS-1999-MalacariaH #game studies #nondeterminism #program analysis #security
Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
CC-1998-MalacariaH #analysis #approach #control flow
A New Approach to Control Flow Analysis (PM, CH), pp. 95–108.
ICALP-1998-MalacariaH #game studies
Generalised Flowcharts and Games (PM, CH), pp. 363–374.
LICS-1991-MalacariaR #algebra #λ-calculus
Some Results on the Interpretation of λ-calculus in Operator Algebras (PM, LR), pp. 63–72.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.