TY  - RPRT
TI  - From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake
AU  - Daniel De Almeida Braga
AU  - Natalia Kulatova
AU  - Mohamed Sabt
AU  - Pierre-Alain Fouque
AU  - Karthikeyan Bhargavan
PY  - 2023
DO  - 10.1109/eurosp57164.2023.00048
UR  - https://arxiv.org/abs/2307.09243
ID  - 2307.09243
ER  -