User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Sepulveda, Johanna and Aboul--Hassan, Damian and Sigl, Georg and Becker, Bernd and Sauer, Matthias 
Title:
Towards the formal verification of security properties of a Network-on-Chip router 
Abstract:
Vulnerabilities and design flaws in Network-on-Chip (NoC) routers can be exploited in order to spy, modify and constraint the sensitive communication inside the Multi-Processors Systems-on-Chip (MPSoCs). Although previous works address the NoC threat, finding secure and efficient solutions to verify the security is still a challenge. In this work, we propose for the first time a method to formally verify the correctness and the security properties of a NoC router in order to provide the proper...    »
 
Dewey Decimal Classification:
620 Ingenieurwissenschaften 
Book / Congress title:
European Test Symposium, {ETS} 2018 
Congress (additional information):
Bremen, Germany 
Date of congress:
May 28- -June 1, 2018 
Year:
2018 
Quarter:
2. Quartal 
Year / month:
2018-06 
Month:
Jun