Damian Aboul-Hassan

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Formal Verification

Cryptographic Protocols

Network On Chip

Top Venues

Publications

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