 |
Conference papers
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection
Jean-Luc Danger 1, 2, 3
Author IdHAL : jeanluc-danger
Laurent Fribourg 4
Author
Ulrich Kühne 3, 1, 2
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 (Télécom Paris 19 Place Marguerite Perey 91120 Palaiseau - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
3
LTCI - Laboratoire Traitement et Communication de l'Information (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - 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 metadata
https://hal.telecom-paris.fr/hal-02338436
Contributor : Jean-Luc Danger Connect in order to contact the contributor
Submitted on : Wednesday, October 30, 2019 - 8:14:07 AM
Last modification on : Tuesday, September 21, 2021 - 2:16:05 PM
Contributor : Jean-Luc Danger Connect in order to contact the contributor
Submitted on : Wednesday, October 30, 2019 - 8:14:07 AM
Last modification on : Tuesday, September 21, 2021 - 2:16:05 PM
Identifiers
- HAL Id : hal-02338436, version 1
- DOI : 10.1109/DSD.2019.00047
Collections
SSH | INSTITUT-TELECOM | ENS-CACHAN | CNRS | COMELEC | IP_PARIS | LTCI | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE
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