morenes / AutoCCLinks

Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operates at RTL to exhaustively examine any machine state left by a process after a context switch that creates an execution difference.
17Updated 7 months ago

Alternatives and similar repositories for AutoCC

Users that are interested in AutoCC are comparing it to the libraries listed below

Sorting: