Dino Mehmedagic, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, Dominik Stoffel, Wolfgang Kunz. Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 2779-2796, USENIX Association, 2023. [doi]
Abstract is missing.