Travelled to:1 × Italy
1 × Russia
1 × Spain
Collaborated with:A.Legay A.Wasowski L.Traonouez B.F.Nielsen P.Malacaria
Talks about:quantifi (1) protocol (1) quantit (1) process (1) entropi (1) random (1) markov (1) leakag (1) inform (1) analyz (1)
Person: Fabrizio Biondi
DBLP: Biondi:Fabrizio
Contributed to:
2013
2013
2013Wrote 3 papers:
- CAV-2013-BiondiLTW #imperative #named #security
- QUAIL: A Quantitative Security Analyzer for Imperative Code (FB, AL, LMT, AW), pp. 702–707.
- LATA-2013-BiondiLNW #markov #process
- Maximizing Entropy over Markov Processes (FB, AL, BFN, AW), pp. 128–140.
- VMCAI-2013-BiondiLMW #information management #protocol #random
- Quantifying Information Leakage of Randomized Protocols (FB, AL, PM, AW), pp. 68–87.