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: Malacaria:Pasquale
Contributed to:
2013
2010
2010
2007
20052001
1999
1998
19981991Wrote 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.