Towards the formal verification of security properties of a Network-on-Chip router.

Johanna Seplveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer

Browse the full ETS paper archive.