Skip to Main content Skip to Navigation
Conference papers

LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection

Jean-Luc Danger 1, 2, 3 Laurent Fribourg 4 Ulrich Kühne 3, 1, 2 Maha Naceur 
1 COMELEC - Département Communications & Electronique
2 SSH - Secure and Safe Hardware
LTCI - Laboratoire Traitement et Communication de l'Information
3 LTCI - Laboratoire Traitement et Communication de l'Information
4 LSV - Laboratoire Spécification et Vérification [Cachan]
Document type :
Conference papers
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, March 8, 2022 - 2:32:02 PM

Identifiers

Collections

INSTITUT-TELECOM | CNRS | ENS-CACHAN | UNIV-PARIS-SACLAY | LTCI | COMELEC | SSH | IP_PARIS | 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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

36