 A Systematic Evaluation of Automated Tools for Side-Channel
Vulnerabilities Detection in Cryptographic LibrariesConference on Computer and Communications Security (CCS), 2023 |
 From Dragondoom to Dragonstar: Side-channel Attacks and Formally
Verified Implementation of WPA3 Dragonfly HandshakeEuropean Symposium on Security and Privacy (Euro S&P), 2023 |