Towards the formal verification of security properties of a Network-on-Chip router. - Johanna Sepúlveda; Damian Aboul-Hassan; Georg Sigl; Bernd Becker 001; Matthias Sauer 002 (ETS, 2018)