@phdthesis{Sif13,
title = {Towards efficient and secure shared memory applications },
author = {Sifakis, Emmanuel},
month = {May},
year = {2013},
school = {Universit\'{e} de Grenoble},
team = {DCS},
}
