Search Results for author: Rodothea Myrsini Tsoupidi

Found 3 papers, 0 papers with code

Securing Optimized Code Against Power Side Channels

no code implementations6 Jul 2022 Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos

This paper proposes Secure by Construction Code Generation (SecCG), a constraint-based compiler approach that generates optimized yet secure against power side channels code.

Code Generation Compiler Optimization

Constraint-based Diversification of JOP Gadgets

no code implementations18 Nov 2021 Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry

These experiments show that the combination of LNS and our application-specific distance measure generates binary programs that are highly resilient against JOP attacks.

Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks

no code implementations17 Jul 2020 Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry

This paper introduces Diversity by Construction (DivCon), a constraint-based compiler approach to software diversification.

Cannot find the paper you are looking for? You can Submit a new open access paper.