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.
Proceedings of the 33rd USENIX Security Symposium, 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
"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
2021
âTheyâre not that hard to mitigateâ: What Cryptographic Library Developers Think About Timing Attacks.
IACR Cryptol. ePrint Arch., 2021
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
IACR Cryptol. ePrint Arch., 2020
Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020