 |
- 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
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection
Jean-Luc Danger 1, 2, 3
Mail : Site :
Author IdHAL : jeanluc-danger
Laurent Fribourg 4
Mail :
Author
Ulrich Kühne 3, 1, 2
Mail :
Author IdHAL : ulrich-kuhne ORCID : https://orcid.org/0000-0002-0855-8223
Maha Naceur
Author
1
COMELEC - Département Communications & Electronique (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
2
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)
3
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)
4
LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France)
- ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8643 (France)
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.telecom-paris.fr/hal-02338436
Contributor : Jean-Luc Danger <>
Submitted on : Wednesday, October 30, 2019 - 8:14:07 AM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM
Contributor : Jean-Luc Danger <>
Submitted on : Wednesday, October 30, 2019 - 8:14:07 AM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM
Identifiers
- HAL Id : hal-02338436, version 1
- DOI : 10.1109/DSD.2019.00047
Collections
SSH | INSTITUT-TELECOM | PARISTECH | ENS-CACHAN | CNRS | COMELEC | IP_PARIS | LTCI | UNIV-PARIS-SACLAY
Citation
Jean-Luc Danger, Laurent Fribourg, Ulrich Kühne, Maha Naceur. LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection. 2019 22nd Euromicro Conference on Digital System Design (DSD), Aug 2019, Kallithea, Greece. pp.269-276, ⟨10.1109/DSD.2019.00047⟩. ⟨hal-02338436⟩
Metrics
Record views
