 |
- Home
- Submit
-
Browse
- By laboratory
- By department
-
By researchteam
- ACES - Autonomic and Critical Embedded Systems
- CCN - Cybersecurity for Communication and Networking
- COMNUM - Communications numériques
- LinkC2S - Circuits et Systèmes de communication
- DIG - Data, Intelligence and Graphs
- DIVA - Design, Interaction, Visualization and Applications
- ECOGE - Economie Gestion
- GTO - Télécommunications Optiques
- IMAGES - Image, Modélisation, Analyse, GEométrie, Synthèse
- IQA - Information Quantique et Applications
- LabSoC - System on Chip
- MC2 - Mathématiques discrètes, Codage et Cryptographie
- MM- Multimédia
- RFM2 - Radio-Fréquences Microondes et Ondes Millimétriques
- RMS - Réseaux, Mobilité et Services
- S2A - Signal, Statistique et Apprentissage
- SID - Sociologie, Information-Communication Design
- SPE - Sociologie, Psychologie ergonomique
- SSH - Secure and Safe Hardware
- By doctype
- Browse by author
- Search
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
Sofiane Takarabt 1, 2
Author
Kais Chibani
Author
Youssef Souissi
Author
Laurent Sauvage 1, 2
Mail :
Author IdHAL : laurent-sauvage
Sylvain Guilley 1, 2
Mail :
Author IdHAL : sylvain-guilley ORCID : https://orcid.org/0000-0002-5044-3534
Adrien Facon
Author
Yves Mathieu 1, 2
Mail :
Author IdHAL : yves-mathieu
1
SSH - Secure and Safe Hardware (46 rue Barrault
75013 Paris - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
2
COMELEC - Département Communications & Electronique (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.telecom-paris.fr/hal-02287930
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:30:20 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:54 PM
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:30:20 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:54 PM
Identifiers
- HAL Id : hal-02287930, version 1
Collections
LTCI | PARISTECH | INSTITUT-TELECOM | COMELEC | SSH | UNIV-PARIS-SACLAY
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⟩
Metrics
Record views
