Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture - Télécom Paris
Communication Dans Un Congrès Année : 2020

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Domaines

Architectures Matérielles [cs.AR] Systèmes embarqués Logique en informatique [cs.LO]

Florian Brandner  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-03022552

Soumis le : mardi 24 novembre 2020-19:10:39

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

hal-03022552 , version 1 (24-11-2020)

Identifiants

  • HAL Id : hal-03022552 , version 1

Citer

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria. ⟨hal-03022552⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA DRT CEA-UPSAY UNIV-PARIS-SACLAY LIST LTCI INFRES ACES IP_PARIS GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT DSCIN INSTITUT-MINES-TELECOM
85 Consultations
0 Téléchargements

Partager

More