Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by morenes
A curated list of projects in awesome lists by morenes .
https://github.com/morenes/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.
covert-channel formal-verification fpv hardware security
Last synced: 17 Nov 2024
