Linked Presentation: Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees
