Rigorous analysis of software countermeasures against cache attacks | Publicación