TY  - RPRT
TI  - Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification
AU  - Liangtao Dai
AU  - Yimin Gao
AU  - Melika Morsali
AU  - Mircea R. Stan
PY  - 2026
UR  - https://arxiv.org/abs/2606.22063
ID  - 2606.22063
ER  -