Research Interests

Papers共 29 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
Si Liu, Long Gu,Hengfeng Wei,David Basin
Proceedings of the ACM on Programming Languagesno. OOPSLA2 (2024): 876-904
Cited0Views0EIBibtex
0
0
IsoVista: Black-box Checking Database Isolation Guarantees
Long Gu,Si Liu, Tiancheng Xing,Hengfeng Wei, Yuxing Chen,David A. Basin
Proc VLDB Endowno. 12 (2024): 4325-4328
Cited0Views0EIBibtex
0
0
Taming Reachability Analysis of DNN-Controlled Systems Via Abstraction-Based Training
Jiaxu Tian,Dapeng Zhi,Si Liu,Peixin Wang,Guy Katz,Min Zhang
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT II (2024): 73-97
Cited0Views0EIBibtex
0
0
CAMP: Compositional Amplification Attacks against DNS
Huayi Duan, Marco Bearzi, Jodok Vieli,David A. Basin,Adrian Perrig,Si Liu, Bernhard Tellenbach
USENIX Security Symposium (2024)
Cited0Views0EIBibtex
0
0
A Formal Framework for End-to-End DNS Resolution
Si Liu,Huayi Duan,Lukas Heimes, Marco Bearzi, Jodok Vieli,David Basin,Adrian Perrig
ACM SIGCOMM '23 Proceedings of the ACM SIGCOMM 2023 Conferencepp.932-949, (2023)
Cited1Views0EIBibtex
1
0
Load More
Author Statistics

#Papers: 29

#Citation: 134

H-Index: 8

G-Index: 11

Sociability: 4

Diversity: 2

Activity: 22

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn