Ascertaining Uncertainty for Efficient Exact Cache Analysis

Static cache analysis characterizes a program’s cache behavior by determining in a sound but approximate manner which memory accesses result in cache hits and which result in cache misses. Such information is valuable in optimizing compilers, worst-case execution time analysis, and side-channel attack quantification and mitigation.

[1]  Sally A. McKee,et al.  Hitting the memory wall: implications of the obvious , 1995, CARN.

[2]  Per Stenström,et al.  Timing anomalies in dynamically scheduled microprocessors , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[3]  Reinhard Wilhelm,et al.  Efficient and Precise Cache Behavior Prediction for Real-Time Systems , 1999, Real-Time Systems.

[4]  Daniel J. Bernstein,et al.  Cache-timing attacks on AES , 2005 .

[5]  Anne Canteaut,et al.  Understanding cache attacks , 2006 .

[6]  Bernd Becker,et al.  A Definition and Classification of Timing Anomalies , 2006, WCET.

[7]  Xavier Rival,et al.  The trace partitioning abstract domain , 2007, TOPL.

[8]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[9]  Jan Reineke,et al.  Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity , 2008 .

[10]  Wang Yi,et al.  Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[11]  Laure Gonnord,et al.  Using Bounded Model Checking to Focus Fixpoint Iterations , 2011, SAS.

[12]  Hovav Shacham,et al.  Are AES x86 cache timing attacks still feasible? , 2012, CCSW '12.

[13]  Abhik Roychoudhury,et al.  Scalable and precise refinement of cache timing analysis via path-sensitive verification , 2013, Real-Time Systems.

[14]  Marco Roveri,et al.  The nuXmv Symbolic Model Checker , 2014, CAV.

[15]  Jan Reineke,et al.  CacheAudit: A Tool for the Static Analysis of Cache Side Channels , 2013, TSEC.

[16]  Joxan Jaffar,et al.  Precise Cache Timing Analysis via Symbolic Execution , 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[17]  Wang Yi,et al.  A Survey on Static Cache Analysis for Real-Time Systems , 2016, Leibniz Trans. Embed. Syst..

[18]  Martin Schoeberl,et al.  TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research , 2016, WCET.

[19]  Samarjit Chakraborty,et al.  TIC: a scalable model checking based approach to WCET estimation , 2016, LCTES.