Tools
- QIF-RTL: A New Secure Hardware Description Language on VHDL/Verilog
- Formal-PCH: Proof-Carrying Hardware Verification Framework
- Analysis of Security of Split Manufacturing Using Machine Learning
- HW2VEC
- QFlow: Quantifying Data Leakage for RTL IP
- Machine Learning Model Correlated Encoding Quantization Attack Flow
- IF-Tracker: A New CAD Tools on Identifying Attacks SoC Platform