
Daniel De Almeida Braga
7
Documents
Publications
Publications
|
These results must be false": A usability evaluation of constant-time analysis tools2024 - 33rd USENIX Security Symposium, Aug 2024, Philadelphia, Pennsylvania, USA, United States. pp.1-18
Communication dans un congrès
hal-04712302
v1
|
They’re not that hard to mitigate: What Cryptographic Library Developers Think About Timing AttacksASE 2024 - 21st Workshop on Automotive Software Engineering, Feb 2024, Linz (AUSTRIA), Austria. ⟨10.18420/sw2024_47⟩
Communication dans un congrès
hal-04832863
v1
|
|
|
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-04175322
v1
|
|
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-03551345
v1
|
|
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-03694811
v1
|
|
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-03058482
v1
|
|
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-02865304
v1
|
Chargement...
Chargement...