no code implementations • 6 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.
no code implementations • 18 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.
no code implementations • 17 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.