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⟩