2 papers
cs.CR2021
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
Rodothea Myrsini Tsoupidi, Musard Balliu, Benoit Baudry
This paper explores the use of relational symbolic execution to counter timing side channels in WebAssembly programs. We design and implement Vivienne, an open-source tool to autom…
cs.CR2020
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks
Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry
Modern software deployment process produces software that is uniform, and hence vulnerable to large-scale code-reuse attacks. Compiler-based diversification improves the resilience…