Login / Signup
Lingfeng Yin
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Specification Language
Formal Specification
Model Checker
Invited Paper
Top Venues
ASP-DAC
</>
Publications
</>
Zihan Xu
,
Lingfeng Yin
,
Yongqiang Lyu
,
Haixia Wang
,
Gang Qu
,
Dongsheng Wang
CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (Invited Paper).
ASP-DAC
(2022)