2 papers
cs.CR2025
SVAgent: AI Agent for Hardware Security Verification Assertion
Rui Guo, Avinash Ayalasomayajula, Henian Li +3
Verification using SystemVerilog assertions (SVA) is one of the most popular methods for detecting circuit design vulnerabilities. However, with the globalization of integrated cir…
cs.LG2024
Improving Location-based Thermal Emission Side-Channel Analysis Using Iterative Transfer Learning
Tun-Chieh Lou, Chung-Che Wang, Jyh-Shing Roger Jang +3
This paper proposes the use of iterative transfer learning applied to deep learning models for side-channel attacks. Currently, most of the side-channel attack methods train a mode…