Ascertaining Uncertainty for Efficient Exact Cache Analysis

This publication has 15 references indexed in Scilit:

• Precise Cache Timing Analysis via Symbolic Execution
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2016
• CacheAudit
  ACM Transactions on Information and System Security, 2015
• The nuXmv Symbolic Model Checker
  Published by Springer Nature ,2014
• Scalable and precise refinement of cache timing analysis via path-sensitive verification
  Real-Time Systems, 2013
• Are AES x86 cache timing attacks still feasible?
  Published by Association for Computing Machinery (ACM) ,2012
• Using Bounded Model Checking to Focus Fixpoint Iterations
  Published by Springer Nature ,2011
• The worst-case execution-time problem—overview of methods and survey of tools
  ACM Transactions on Embedded Computing Systems, 2008
• The trace partitioning abstract domain
  ACM Transactions on Programming Languages and Systems, 2007
• Timing anomalies in dynamically scheduled microprocessors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Hitting the memory wall
  ACM SIGARCH Computer Architecture News, 1995