AutoCC

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.

GitHub
11 stars
1 watching
4 forks
Language: Standard ML
last commit: about 1 year ago
Linked from 1 awesome list

covert-channelformal-verificationfpvhardwaresecurity

Screenshot of morenes/AutoCC website

parallel.princeton.edu/papers/marcelo_autocc_camera_ready.pdf

Backlinks from these awesome lists: