There is an increasing number of ICT systems (eg to communicate, do business, vote,
control industrial processes or critical infrastructures, etc.) whose security depends …