Tools

chi:

chi is a tool to infer parameters of the memory hierarchy by performing a set of measurements on the actual hardware.

Check it out here.

CacheAudit:

CacheAudit is a versatile framework for the automatic, static analysis of cache side channels. CacheAudit takes as input a program binary and a cache configuration, and it derives formal, quantitative security guarantees for a comprehensive set of side-channel adversaries, namely those based on observing cache states, traces of hits and misses, and execution times.

Check it out here.

MeMin:

MeMin is a tool for minimizing incompletely specified Mealy machines.

Check it out here.

PTARM:

The PTARM is our prototype of a precision-timed (PRET) machine.

Please check out our C++ simulator here.

Relacs:

Relacs is a tool for automatic relative competitive and sensitivity analysis of cache architectures.

Check it out here.

Sprattus:

Sprattus is a framework for static and dynamic program analysis of of low-level C and C++ programs on LLVM IR.

Check it out here.