Skip to Main content Skip to Navigation
Conference papers

Pre-Silicon Embedded System Evaluation as new EDA for Security Verification

Sofiane Takarabt 1, 2 Kais Chibani youssef Souissi Laurent Sauvage 1, 2 Sylvain Guilley 1, 2 Adrien Facon yves Mathieu 1, 2 
1 SSH - Secure and Safe Hardware
LTCI - Laboratoire Traitement et Communication de l'Information
2 COMELEC - Département Communications & Electronique
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-02287930
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:30:20 PM
Last modification on : Wednesday, November 3, 2021 - 6:20:54 AM

Identifiers

  • HAL Id : hal-02287930, version 1

Collections

INSTITUT-TELECOM | PARISTECH | UNIV-PARIS-SACLAY | LTCI | COMELEC | SSH

Citation

Sofiane Takarabt, Kais Chibani, youssef Souissi, Laurent Sauvage, Sylvain Guilley, et al.. Pre-Silicon Embedded System Evaluation as new EDA for Security Verification. International Verification and Security Workshop (IVSW), Jun 2018, Platja d’Aro, Spain. ⟨hal-02287930⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

46