2 papers
cs.SE2026
Influence-Guided Concolic Testing of Transformer Robustness
Chih-Duo Hong, Chih-Cheng Yang, Yu Wang +1
Concolic testing for neural networks alternates concrete execution with constraint solving to search for inputs that flip model decisions. We present a concolic tester for Transfor…
cs.CR2025
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
Weihang Li, Pete Crowley, Arya Tschand +3
Rigorous quantitative evaluation of microarchitectural side channels is challenging for two reasons. First, the processors, attacks, and defenses often exhibit probabilistic behavi…