| On the Provable Security of the Dragonfly Protocol |
| English |
| Skrobot, Marjan [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Lancrenon, Jean [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Sep-2015 |
| Information Security - 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015 |
| Lopez, Javier |
| Mitchell, Chris J. |
| Springer |
| 244--261 |
| Yes |
| No |
| International |
| 978-3-319-23317-8 |
| 18th International Conference, ISC 2015 |
| from 09-09-2015 to 11-09-2015 |
| Trondheim |
| Norway |
| [en] Dragonfly protocol ; Password Authenticated Key Exchange ; Provable Security |
| Interdisciplinary Centre for Security, Reliability and Trust |
| Fonds National de la Recherche - FnR ; Agence Nationale de Recherche (France) |
| Researchers ; Professionals |
| http://hdl.handle.net/10993/24767 |
| FnR ; FNR9472655 > Peter Y. A. Ryan > Sequoia > Security properties, process equivalences and automated veri cation > 01/02/2015 > 31/01/2019 > 2015 |