1 citations · 1 across the 6 of their papers we have counts for
5 papers · 1 filter
Protecting Cryptographic Libraries against Side-Channel and Code-Reuse Attacks
Rodothea Myrsini Tsoupidi, Elena Troubitsyna, Panos Papadimitratos
Cryptographic libraries, an essential part of cybersecurity, are shown to be susceptible to different types of attacks, including side-channel and memory-corruption attacks. In thi…
Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems
Rodothea Myrsini Tsoupidi, Elena Troubitsyna, Panagiotis Papadimitratos
Embedded devices are increasingly present in our everyday life. They often process critical information, and hence, rely on cryptographic protocols to achieve security. However, em…
Securing Optimized Code Against Power Side Channels
Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna +1
Side-channel attacks impose a serious threat to cryptographic algorithms, including widely employed ones, such as AES and RSA. These attacks take advantage of the algorithm impleme…
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…
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…