Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
hal_authIdPerson_i : 993622
Image document

Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

Michele Boreale , Michela Paolini
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.72-86, ⟨10.1007/978-3-642-33475-7_6⟩
Conference papers hal-01556211v1

Formal Techniques for Distributed Systems

Dirk Beyer , Michele Boreale
Springer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books hal-01515249v1
Image document

Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries

Michele Boreale , Francesca Pampaloni
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.166-181, ⟨10.1007/978-3-662-43613-4_11⟩
Conference papers hal-01398015v1