selected publications chapter Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips. Lecture Notes in Computer Science. 2016