Accéder directement au contenu

Daniel De Almeida Braga

5
Documents

Publications

Image document

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

Daniel de Almeida Braga , Natalia Kulatova , Mohamed Sabt , Pierre-Alain Fouque , Karthikeyan Bhargavan
EuroS&P 2023 - IEEE 8th European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands. pp.707-723, ⟨10.1109/EuroSP57164.2023.00048⟩
Communication dans un congrès hal-04175322v1
Image document

"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks

Jan Jancar , Marcel Fourné , Daniel de Almeida Braga , Mohamed Sabt , Peter Schwabe
2022 IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States. pp.755-772, ⟨10.1109/SP46214.2022.9833713⟩
Communication dans un congrès hal-03694811v1
Image document

PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild

Daniel de Almeida Braga , Pierre-Alain Fouque , Mohamed Sabt
CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2497-2512, ⟨10.1145/3460120.3484563⟩
Communication dans un congrès hal-03551345v1
Image document

Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild

Daniel de Almeida Braga , Pierre-Alain Fouque , Mohamed Sabt
ACSAC 2020 - Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
Communication dans un congrès hal-03058482v1
Image document

The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10

Daniel de Almeida Braga , Pierre-Alain Fouque , Mohamed Sabt
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, 2020 (3), pp.196-218
Article dans une revue hal-02865304v1