Skip to content

Yanyun Lu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2026–2026

Best venue rank

B

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2026ASPDACRTL Verification for Secure Speculation Using Cascaded Two-Phase Information Flow Tracking.Yuhao Liu, Ying Li, Yinhao Zhou, Chang Guo, Zhenfeng Li, Yanyun Lu