Skip to Main content Skip to Navigation
Conference papers

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

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

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⟩

Share

Metrics

Record views

40