Formal Specification and Verification of Communication in Network-On-Chip: An Overview

Boutekkouk, Fateh

doi:10.3991/ijes.v6i4.9416

Cited by 4 publications

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• Asindependenttasksforintrusiondetection (Hasanetal.,2016;2018). • Cryptographicconfiguration(Lietal.,2017).…”

Section: Rq13:howsecuritymechanismsaremodeled?mentioning

confidence: 98%

Embedded Systems Design Space Exploration Under Security Constraints

Boutekkouk

2022

International Journal of Technology Diffusion

Self Cite

View full text Add to dashboard Cite

Design space exploration (DSE) is a key activity in any embedded system design flow. With the remarkable increasing in the connectivity to the internet, embedded systems are becoming the target of different cyber-attacks. As security emerges as a major design concern, DSE should be aware of the security aspect at a higher level of abstraction. On the other hand and to our best knowledge, there is no a comprehensive survey on this topic, hence the need to establish a comprehensive survey for existing security-aware DSE approaches for embedded systems at the system level. To meet this objective, we first selected and summarized twenty-two pertinent works. They were analyzed based on a set of criteria. The outcomes of this survey are a set of recommendations that can help embedded systems designers to better dealing with security at system-level DSE stage. The presented survey ends by proposing some potential promising future trends that can be investigated by researchers to pursue the research in related topics.

show abstract

“…• Asindependenttasksforintrusiondetection (Hasanetal.,2016;2018). • Cryptographicconfiguration(Lietal.,2017).…”

Section: Rq13:howsecuritymechanismsaremodeled?mentioning

confidence: 98%