• Architecture For Mitigating Memory Safety Vulnerabilities (2019 - 2025)
• Automatically Testing Cryptogragraphic Implementations (2018 - 2024)
• CPU Side Channels & Speculative Execution Attacks (2017 - 2023)
• Privileged-adversary Side-channel Analysis Of SGX Enclaves (2016 - 2020)