Available Media Show details Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees Dino Mehmedagić, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, ...