Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. In Maurice H. ter Beek, Dejan Nickovic, editors, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Volume 12327 of Lecture Notes in Computer Science, pages 151-169, Springer, 2020. [doi]
Abstract is missing.