Liangtao Dai

Identifiers

• name variant Liangtao Dai 0.60 · backfill

Papers (1)

1. Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification cs.CR · 2026 · author #1

Mentions

• 2606.22063 #1 · arxiv_oai · confidence 0.70 Liangtao Dai

Frequent Coauthors

• Melika Morsali 1 shared papers
• Mircea R. Stan 1 shared papers
• Yimin Gao 1 shared papers