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

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]

Authors

Dino Mehmedagic

This author has not been identified. Look up 'Dino Mehmedagic' in Google

Mohammad Rahmani Fadiheh

This author has not been identified. Look up 'Mohammad Rahmani Fadiheh' in Google

Johannes Müller

This author has not been identified. Look up 'Johannes Müller' in Google

Anna Lena Duque Antón

This author has not been identified. Look up 'Anna Lena Duque Antón' in Google

Dominik Stoffel

This author has not been identified. Look up 'Dominik Stoffel' in Google

Wolfgang Kunz

This author has not been identified. Look up 'Wolfgang Kunz' in Google