Daniel De Almeida Braga

15 papers A* 3A 3C 1Journal 7
YearRankTypeTitle / Venue / Authors
2024 A* conf
"These results must be false": A usability evaluation of constant-time analysis tools.
USENIX Security Symposium
Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
2024 J jnl
"These results must be false": A usability evaluation of constant-time analysis tools.
IACR Cryptol. ePrint Arch.
Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
2024 A conf
Generic and Automated Drive-by GPU Cache Attacks from the Browser.
AsiaCCS
Lukas Giner, Roland Czerny, Christoph Gruber, Fabian Rauscher, Andreas Kogler, Daniel De Almeida Braga, Daniel Gruss
2024 C conf
They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks.
Software Engineering
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
2023 A conf
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake.
EuroS&P
Daniel De Almeida Braga, Natalia Kulatova, Mohamed Sabt, Pierre-Alain Fouque, Karthikeyan Bhargavan
2023 J jnl
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake.
CoRR
Daniel De Almeida Braga, Natalia Kulatova, Mohamed Sabt, Pierre-Alain Fouque, Karthikeyan Bhargavan
2022 A* conf
"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks.
SP
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
2022 — —
Cryptographie dans la nature: la sécurité des implémentations cryptographiques. (Cryptography in the wild: the security of cryptographic implementations).
Daniel De Almeida Braga
2021 A* conf
PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild.
CCS
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
2021 J jnl
PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild.
IACR Cryptol. ePrint Arch.
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
2021 J jnl
“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks.
IACR Cryptol. ePrint Arch.
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
2020 A conf
Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild.
ACSAC
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
2020 J jnl
Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild.
CoRR
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
2020 J jnl
The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10.
IACR Cryptol. ePrint Arch.
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
2020 J jnl
The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt