Skip to main content

Congratulations, Rodothea Myrsini Tsoupidi!

Best paper award

Published Sep 28, 2020

Doctoral student Rodothea Myrsini Tsoupidi, at The Division of Software and Computer Systems (SCS) has won the Best paper award for her paper "Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks" at the International Conference on Principles and Practice of Constraint Programming.

How does it feel to have received this award?

"I feel very happy and honored about receiving this award. It was the result of a work together with my supervisors, Roberto Castañeda Lozano  and Benoit Baudry . This work started with my previous supervisor Christian Schulte , who passed away a few months ago. Therefore, I feel extra happy and honored about this award."

What are you currently working with?

"Currently I am working on language-based security and more specifically on formal verification of WebAssembly programs, a new low-level assembly-like language for the Web. We are focusing on a type of attacks that takes advantage of timing variations of a program to reveal secret keys."

Tell us a little about your paper.

"This paper presents an approach on software diversification for security. In particular, we study the automatic generation of multiple program variants that are functionally equivalent but have different implementation. The idea is that if users run different variants of a program rather than identical copies, large-scale attacks are made difficult. Our approach uses constraint programming, a method for solving combinatorial problems, to generate multiple program variants using Unison. By using constraint programming, we are able to control the quality of the generated variants."
 

Read the paper: Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks

International Conference on Principles and Practice of Constraint Programming

Unison tool