Computationally Sound Analysis of Encrypting with Diffie Hellman Keys

Veronique Cortier, Steve Kremer, Emmanuel Bresson, Yassine Lacknech, Laurent Mazare, Bogdan Warinschi

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Translated title of the contribution	Computationally Sound Analysis of Encrypting with Diffie Hellman Keys
Original language	English
Title of host publication	Formal Models and Techniques for Analyzing Security Protocols
Publisher	IOS Press
Pages	277-303
ISBN (Print)	9781607507130
Publication status	Published - 2011

Other page information: -
Other identifier: 2001347

Access to Document

@inbook{421244932fbc490fb1d304b238fdfe9d,

title = "Computationally Sound Analysis of Encrypting with Diffie Hellman Keys",

author = "Veronique Cortier and Steve Kremer and Emmanuel Bresson and Yassine Lacknech and Laurent Mazare and Bogdan Warinschi",

note = "Other page information: - Other identifier: 2001347",

year = "2011",

language = "English",

isbn = "9781607507130",

pages = "277--303",

booktitle = "Formal Models and Techniques for Analyzing Security Protocols",

publisher = "IOS Press",

address = "Netherlands",

}

TY - CHAP

T1 - Computationally Sound Analysis of Encrypting with Diffie Hellman Keys

AU - Cortier, Veronique

AU - Kremer, Steve

AU - Bresson, Emmanuel

AU - Lacknech, Yassine

AU - Mazare, Laurent

AU - Warinschi, Bogdan

N1 - Other page information: - Other identifier: 2001347

PY - 2011

Y1 - 2011

M3 - Chapter in a book

SN - 9781607507130

SP - 277

EP - 303

BT - Formal Models and Techniques for Analyzing Security Protocols

PB - IOS Press

ER -