We stand with Ukraine  

Liang He

Orcid: 0000-0002-6627-4691

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, Trusted Computing and Information Assurance Laboratory, Beijing, China
  • University of Chinese Academy of Sciences, School of Cyber Security, Beijing, China


According to our database1, Liang He authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reorder Pointer Flow in Sound Concurrency Bug Prediction.
[BibTeX]
[DOI]
Yuqi Guo
,
Shihao Zhu
,
Yan Cai
,
Liang He
,
Jian Zhang
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

OSmart: Whitebox Program Option Fuzzing.
[BibTeX]
[DOI]
Kelin Wang
,
Mengda Chen
,
Liang He
,
Purui Su
,
Yan Cai
,
Jiongyi Chen
,
Bin Zhang
,
Chao Feng
,
Chaojing Tang
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023
One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels.
[BibTeX]
[DOI]
Liang He
,
Purui Su
,
Chao Zhang
,
Yan Cai
,
Jinxin Ma
Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2022
FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries.
[BibTeX]
[DOI]
Liang He
,
Hong Hu
,
Purui Su
,
Yan Cai
,
Zhenkai Liang
Proceedings of the 31st USENIX Security Symposium, 2022

2020
Resource Race Attacks on Android.
[BibTeX]
[DOI]
Yan Cai
,
Yutian Tang
,
Haicheng Li
,
Le Yu
,
Hao Zhou
,
Xiapu Luo
,
Liang He
,
Purui Su
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Partial-SMT: Core-scheduling Protection Against SMT Contention-based Attacks.
[BibTeX]
[DOI]
Xiaohui Wu
,
Yeping He
,
Qiming Zhou
,
Hengtai Ma
,
Liang He
,
Wenhao Wang
,
Liheng Chen
Proceedings of the 19th IEEE International Conference on Trust, 2020

2019
Detecting concurrency memory corruption vulnerabilities.
[BibTeX]
[DOI]
Yan Cai
,
Biyun Zhu
,
Ruijie Meng
,
Hao Yun
,
Liang He
,
Purui Su
,
Bin Liang
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2017
Capability-Based Security Enforcement in Named Data Networking.
[BibTeX]
[DOI]
Qi Li
,
Patrick P. C. Lee
,
Peng Zhang
,
Purui Su
,
Liang He
,
Kui Ren
IEEE/ACM Trans. Netw., 2017

Automatically assessing crashes from heap overflows.
[BibTeX]
[DOI]
Liang He
,
Yan Cai
,
Hong Hu
,
Purui Su
,
Zhenkai Liang
,
Yi Yang
,
Huafeng Huang
,
Jia Yan
,
Xiangkun Jia
,
Dengguo Feng
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2013
OSNGuard: Detecting Worms with User Interaction Traces in Online Social Networks.
[BibTeX]
[DOI]
Liang He
,
Dengguo Feng
,
Purui Su
,
Lingyun Ying
,
Yi Yang
,
Huafeng Huang
,
Huipeng Fang
Proceedings of the Information and Communications Security - 15th International Conference, 2013


  Loading...