Design Space Exploration Applied to Security. - Antoine Linarès; David Hély; Frank Lhermet; Giorgio Di Natale (DTIS, 2021)