Login / Signup
Yilu Dong
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Heterogeneous Networks
Formal Analysis
High Security
Agent Model
Top Venues
USENIX Security Symposium
CCS
</>
Publications
</>
Kai Tu
,
Abdullah Al Ishtiaq
,
Syed Md. Mukit Rashid
,
Yilu Dong
,
Weixuan Wang
,
Tianwei Wu
,
Syed Rafiul Hussain
Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands.
USENIX Security Symposium
(2024)
Mujtahid Akon
,
Tianchang Yang
,
Yilu Dong
,
Syed Rafiul Hussain
Formal Analysis of Access Control Mechanism of 5G Core Network.
CCS
(2023)