On the Provable Security of the Dragonfly Protocol

Reference : On the Provable Security of the Dragonfly Protocol


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/24767

Title :	On the Provable Security of the Dragonfly Protocol
Language :	English
Author, co-author :	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) > >]
Publication date :	Sep-2015
Main document title :	Information Security - 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015
Editor :	Lopez, Javier
	Mitchell, Chris J.
Publisher :	Springer
Pages :	244--261
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISBN :	978-3-319-23317-8
Event name :	18th International Conference, ISC 2015
Event date :	from 09-09-2015 to 11-09-2015
Event place (city) :	Trondheim
Event country :	Norway
Keywords :	[en] Dragonfly protocol ; Password Authenticated Key Exchange ; Provable Security
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust
Funders :	Fonds National de la Recherche - FnR ; Agence Nationale de Recherche (France)
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/24767
FnR project :	FnR ; FNR9472655 > Peter Y. A. Ryan > Sequoia > Security properties, process equivalences and automated veri cation > 01/02/2015 > 31/01/2019 > 2015

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Dragonfly.pdf		Publisher postprint	425.81 kB	View/Open

All documents in ORBi^lu are protected by a user license.