Daniel De Almeida Braga

15 papers A* 3A 3C 1Journal 7

Year	Rank	Type	Title / 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