Tools
Microscope
MicroScope is an innovative framework designed to infer potential software instruction patterns that expose hardware vulnerabilities. Specifically, we enhance the Structural Causal Model (SCM) with hardware features such as timing stamps, resulting in a scalable Hardware Structural Causal Model (HW-SCM). A domain-specific language (DSL) in SMT-LIB is developed to represent this HW-SCM along with predefined security properties. Subsequently, incremental SMT solving is applied to deduce all possible instructions that satisfy these properties. The effectiveness of MicroScope is validated in several RISC-V SoC benchmarks.
For more details, please refer to our recent accepted paper:
Zhaoxiang Liu, Kejun Chen, Dean Sullivan, Orlando Arias, Raj Dutta, Yier Jin, and Xiaolong Guo. Microscope: Causality inference crossing the hardware and software boundary from hardware perspective. In 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE/ACM, 2024. [download]
We are working on re-organizing the code and the opensorce version will be released soon. The binary released version can be downloaded at:
/research/hardware-security/tools/microscope.zip
Note: please run the executable binary in a Linux environment. For more informaiton, please type in: run ./taint_tracker -h
