Daniel De Almeida Braga

Publications

Communication dans un congrès (7)

Generic and Automated Drive-by GPU Cache Attacks from the Browser Lukas Giner,Roland Czerny,Christoph Gruber,Fabian Rauscher,Andreas Kogleret al. ACM Asia Conference on Computer and Communications Security (ASIA CCS ’24), Jul 2024, Singapore, Singapore. ⟨10.1145/3634737.3656283⟩ Communication dans un congrès hal-04613708v1
These results must be false&quot;: A usability evaluation of constant-time analysis tools Marcel Fourné,Daniel de Almeida Braga,Jan Jancar,Mohamed Sabt,Peter Schwabeet al. 2024 - 33rd USENIX Security Symposium, Aug 2024, Philadelphia, Pennsylvania, USA, United States. pp.1-18 Communication dans un congrès hal-04712302v1
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 Schwabeet al. ASE 2024 - 21st Workshop on Automotive Software Engineering, Feb 2024, Linz (AUSTRIA), Austria. ⟨10.18420/sw2024_47⟩ Communication dans un congrès hal-04832863v1
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
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
They're not that hard to mitigate&quot;: What Cryptographic Library Developers Think About Timing Attacks Jan Jancar,Marcel Fourné,Daniel de Almeida Braga,Mohamed Sabt,Peter Schwabeet al. 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
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

Thèse (1)

Cryptographie dans la nature : la sécurité des implémentations cryptographiques Daniel De Almeida Braga Other [cs.OH]. Université Rennes 1, 2022. English. ⟨NNT : 2022REN1S067⟩ Thèse tel-03960269v1

Article dans une revue (1)

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