Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Benjamin Binder; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan

Conference Papers Year :

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

, , (1, 2, 3) , ,

1
2
3

Benjamin Binder

Function : Author
PersonId : 1082712

Mihail Asavoae

Function : Author

Florian Brandner

Function : Author
PersonId : 3550
IdHAL : florian-brandner
ORCID : 0000-0002-2493-7864
IdRef : 242601251

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Laboratoire Traitement et Communication de l'Information

Belgacem Ben Hedia

Function : Author
PersonId : 749765
IdHAL : belgacem-ben-hedia
ORCID : 0000-0003-1367-8542
IdRef : 143359169

Mathieu Jan

Function : Author
PersonId : 864070

Domains

Computer Science [cs] Hardware Architecture [cs.AR] Computer Science [cs] Embedded Systems Computer Science [cs] Logic in Computer Science [cs.LO]

Florian Brandner : Connect in order to contact the contributor

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

Submitted on : Tuesday, November 24, 2020-7:10:39 PM

Last modification on : Tuesday, February 28, 2023-3:36:24 PM

Dates and versions

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

Identifiers

HAL Id : hal-03022552 , version 1

Cite

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⟩

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share