Daniel De Almeida Braga
5
Documents
Publications
|
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly HandshakeEuroS&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
|
|
"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks2022 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
|
|
PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wildCCS 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
|
|
Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the WildACSAC 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
|
|
The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, 2020 (3), pp.196-218
Article dans une revue
hal-02865304v1
|