Daniel De Almeida Braga
Orcid: 0000-0001-5083-5434Affiliations:
- Rennes University, IRISA, Rennes, France
According to our database1,
Daniel De Almeida Braga
authored at least 9 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on twitter.com
-
on orcid.org
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
"These results must be false": A usability evaluation of constant-time analysis tools.
IACR Cryptol. ePrint Arch., 2024
They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024
2023
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake.
Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023
2022
Cryptographie dans la nature: la sécurité des implémentations cryptographiques. (Cryptography in the wild: the security of cryptographic implementations).
PhD thesis, 2022
2021
âTheyâre not that hard to mitigateâ: What Cryptographic Library Developers Think About Timing Attacks.
IACR Cryptol. ePrint Arch., 2021
IACR Cryptol. ePrint Arch., 2021
2020
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020
Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020