Skip to Main content Skip to Navigation
Conference papers

Security-Aware Modeling and Analysis for HW/SW Partitioning

Letitia W. Li 1, 2 Florian Lugou 3, 1, 2 Ludovic Apvrille 1, 2 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Abstract : The rising wave of attacks on communicating embedded systems has exposed their users to risks of informa- tion theft, monetary damage, and personal injury. Through improved modeling and analysis of security, we propose that these flaws could be mitigated. Since HW/SW partitioning, one of the first phases, impacts future integration of security into the system, this phase would benefit from supporting modeling security abstrac- tions and security properties, providing designers with useful partitioning feedback obtained from a security formal analyzer. In this paper, we present how our toolkit supports security modeling, automated security integration, and formal analysis during the HW/SW partitioning phase for secure communications in embedded systems. We introduce “Cryptographic Configurations”, an abstract representation of security that allows us to verify security formally. Our toolkit further assists designers by automatically adding these security representations based on a mapping and security requirements.
Complete list of metadata
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:03:00 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM


  • HAL Id : hal-02287507, version 1


Letitia W. Li, Florian Lugou, Ludovic Apvrille. Security-Aware Modeling and Analysis for HW/SW Partitioning. 5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Feb 2017, Porto, Portugal. ⟨hal-02287507⟩



Record views