Skip to Main content Skip to Navigation
Conference papers

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Benjamin Binder Mihail Asavoae Florian Brandner 1, 2, 3 Belgacem Ben Hedia Mathieu Jan
1 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
2 INFRES - Département Informatique et Réseaux
3 LTCI - Laboratoire Traitement et Communication de l'Information
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-03022552
Contributor : Florian Brandner <>
Submitted on : Tuesday, November 24, 2020 - 7:10:39 PM
Last modification on : Tuesday, September 21, 2021 - 2:16:03 PM

Identifiers

  • HAL Id : hal-03022552, version 1

Collections

INSTITUT-TELECOM | INFRES | ACES | LTCI | IP_PARIS

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

40