![]() | ![]() |
| 2009 | ||
|---|---|---|
| 2 | Riccardo Bresciani, Andrew Butterfield: A formal security proof for the ZRTP Protocol. ICITST 2009: 1-6 | |
| 1 | Riccardo Bresciani, Andrew Butterfield: Weakening the Dolev-Yao model through probability. SIN 2009: 293-297 | |
| 1 | Andrew Butterfield | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page