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

Filter your results

3 results
Keywords : Quantitative information flow
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
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
Image document

Reasoning About Distributed Secrets

Nicolás Bordenabe , Annabelle Mciver , Carroll Morgan , Tahiry Rabehaja
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.156-170, ⟨10.1007/978-3-319-60225-7_11⟩
Conference papers hal-01658413v1