GitHub repository: stefanberg96/SMArTCAT
Primary language: C
Description: SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool