Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Lin Huang
Institution:
Ant Group (China)
Observed institution:
Ant Group (China)
ORCID:
0009-0002-5659-1471
Observed ORCID:
0009-0002-5659-1471
OpenAlex ID:
A5041205504
Owfuzz: Discovering Wi-Fi Flaws in Modern Devices through Over-The-Air Fuzzing
2023
·
Hongjian Cao
, Lin Huang
, et al.
·
ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec)
·
16
PDF
P rome F uzz : A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models
2025
·
Yuwei Liu
, Junquan Deng
, et al.
·
ACM SIGSAC Conference on Computer and Communications Security (CCS)
·
11
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
2025
·
Junyang Zhang
, Xiangcan Xu
, et al.
·
ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
·
8
Towards a Better Super-App Architecture from a Browser Security Perspective
2023
·
Yue Wang
, Yao Yao
, et al.
·
7
PDF
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking
2024
·
Minghua Wang
, Jingling Xue
, et al.
·
Lecture notes in computer science
·
6
PDF
StarVerus: LLM-Powered Multi-Agent Collaboration for Industrial Rust Code Verification Automation
2026
·
Chao Jiang
, Ding Wang
, et al.
·
ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)
·
4
Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd
2026
·
Dugang Liu
, Ding Wang
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
1
PDF
Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards
2026
·
Hao Bu
, Lin Huang
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
PDF
RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel
2026
·
Yuwei Liu
, Yanhao Wang
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Show more works
View as search
Works count:
9
Citation count:
53
H-index:
5
I10-index:
2
Year
Topic
Type