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.
20Updated 11 months ago

Alternatives and similar repositories for AutoCC

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

Sorting: