Title Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems
DOI https://doi.org/10.1007/978-3-031-40923-3_14
Raw Affiliation Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany
Clean Page Target Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany