@misc{indiciaef6b465c7d6bd,
  title = {Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification},
  author = {Liangtao Dai and Yimin Gao and Melika Morsali and Mircea R. Stan},
  year = {2026},
  url = {https://arxiv.org/abs/2606.22063},
  note = {Source identifier: 2606.22063}
}