Search - Formal Techniques for Distributed Objects, Components, and Systems Access content directly

Filter your results

1 Array
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