Marie-Laure Potet

Output-sensitive Information flow analysis

2021 · Logical Methods in Computer Science

Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can be safely relaxed if one can prove that …