Quantifying Information Leakage of Randomized Protocols
| Title | Quantifying Information Leakage of Randomized Protocols |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Biondi, F, Legay, A, Malacaria, P, Wasowski, A |
| Conference Name | Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-642-35873-9_7 |
| DOI | 10.1007/978-3-642-35873-9_7 |
PDF (Full text):
Work Package:
WP3
