From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Daniel De Almeida Braga; Natalia Kulatova; Mohamed Sabt; Pierre-Alain Fouque; Karthikeyan Bhargavan

Journal title: 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P)

Journal publisher: IEEE

Published year: 2023

DOI identifier: 10.1109/EuroSP57164.2023.00048

ISBN: 978-1-6654-6512-0