Login / Signup
Siqiu Yao
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 4
Top Topics
Intrusion Detection
Computer Security
Security Systems
Human Machine
Top Venues
CoRR
IEEE Symposium on Security and Privacy
INTERSPEECH
</>
Publications
</>
Siqiu Yao
,
Haobin Ni
,
Andrew C. Myers
,
Ethan Cecchetti
SCIF: A Language for Compositional Smart Contract Security.
CoRR
(2024)
Ethan Cecchetti
,
Siqiu Yao
,
Haobin Ni
,
Andrew C. Myers
Compositional Security for Reentrant Applications.
CoRR
(2021)
Ethan Cecchetti
,
Siqiu Yao
,
Haobin Ni
,
Andrew C. Myers
Compositional Security for Reentrant Applications.
IEEE Symposium on Security and Privacy
(2021)
Kai Sun
,
Su Zhu
,
Lu Chen
,
Siqiu Yao
,
Xueyang Wu
,
Kai Yu
Hybrid Dialogue State Tracking for Real World Human-to-Human Dialogues.
INTERSPEECH
(2016)