Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems.

Tobias Drr, Florian Schade, Jrgen Becker

Browse the full SAFECOMP paper archive.