A Messy State of the Union: Taming the Composite State Machines of TLS 论文

2015引用 215
DOIPDF
Advanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptographic Implementations and Security
Cryptographic Implementations and SecurityUser Authentication and Security SystemsAdvanced Authentication Protocols Security
关系图谱

A Messy State of the Union: Taming the Composite State Machines of TLS · 作者

J

Jean Karim Zinzindohoué

P

Pierre-Yves Strub

A

A. Pironti

M

Markulf Kohlweiss

C

Cédric Fournet

A

Antoine Delignat-Lavaud

K

Karthikeyan Bhargavan

B

Benjamin Beurdouche