Scalable and precise refinement of cache timing analysis via path-sensitive verification
scientific article; zbMATH DE number 6316639