research
∙
04/26/2023
Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems
Embedded devices are increasingly present in our everyday life. They oft...
share
research
∙
07/06/2022
Securing Optimized Code Against Power Side Channels
Side-channel attacks impose a serious threat to cryptographic algorithms...
research
∙
11/18/2021
Constraint-based Diversification of JOP Gadgets
Modern software deployment process produces software that is uniform and...
research
∙
09/03/2021
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
This paper explores the use of relational symbolic execution to counter ...
research
∙
07/17/2020
