Tobias Dörr, Florian Schade, Jürgen Becker 0001. Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. In Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Volume 14181 of Lecture Notes in Computer Science, pages 181-195, Springer, 2023. [doi]
Abstract is missing.