Lin Huang

20 papers A* 3B 3Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency.
USENIX ATC
Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma
2025 A* conf
CortenMM: Efficient Memory Management with Strong Correctness Guarantees.
SOSP
Junyang Zhang, Xiangcan Xu, Yong-Hao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, Diyu Zhou
2025 A* conf
PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models.
CCS
Yuwei Liu, Junquan Deng, Xiangkun Jia, Yanhao Wang, Minghua Wang, Lin Huang, Tao Wei, Purui Su
2025 A* conf
Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification.
ASE
Ziyu Mao, Xiaolin Ma, Lin Huang, Huan Yang, Wu Zhang, Weichao Sun, Yongtao Wang, Jingling Xue, Jingyi Wang
2024 — conf
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking.
FM (2)
Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi, Tao Wei
2023 — conf
Owfuzz: Discovering Wi-Fi Flaws in Modern Devices through Over-The-Air Fuzzing.
WISEC
Hongjian Cao, Lin Huang, Shuwei Hu, Shangcheng Shi, Yujia Liu
2023 — conf
Towards a Better Super-App Architecture from a Browser Security Perspective.
SaTS@CCS
Yue Wang, Yao Yao, Shangcheng Shi, Weiting Chen, Lin Huang
2018 — book
Inside Radio: An Attack and Defense Guide
Qing Yang, Lin Huang
2017 — conf
Ghost telephonist impersonates you: Vulnerability in 4G LTE CS fallback.
CNS
Yuwei Zheng, Lin Huang, Haoqi Shan, Jun Li, Qing Yang, Wenyuan Xu
2011 J jnl
Performance analysis on carrier scheduling schemes in the long-term evolution-advanced system with carrier aggregation.
IET Commun.
L. Zhang, Kan Zheng, Wenbo Wang, Lin Huang
2011 — conf
User Fairness-Empowered Power Coordination in OFDMA Downlink.
VTC Fall
Zhenning Shi, Yajuan Luo, Lin Huang, Daqing Gu
2010 J jnl
Adaptive Modulation in Coded Cooperation under Rayleigh Fading Channels.
IEICE Trans. Commun.
Kan Zheng, Lijie Hu, Ling Wang, Wenbo Wang, Lin Huang
2010 J jnl
Performance Analysis of HARQ Transmission in Cooperative DF Relaying Systems.
Wirel. Pers. Commun.
Kan Zheng, Lijie Hu, Wenbo Wang, Lin Huang
2009 — conf
Resource Allocation for Dual-Hop OFDM Systems with Multiple Decode-and-Forward Relays.
VTC Fall
Yicheng Lin, Wenbo Wang, Bin Fan, Lin Huang, Kan Zheng
2009 B conf
Resource allocation optimization for OFDM-based amplify-and-forward multi-relay system.
WCNC
Yicheng Lin, Wenbo Wang, Bin Fan, Lin Huang, Kan Zheng
2009 B conf
Spatial multi-user pairing for uplink virtual-MIMO systems with linear receiver.
WCNC
Bin Fan, Wenbo Wang, Yicheng Lin, Lin Huang, Kan Zheng
2009 — conf
Subcarrier Allocation for OFDMA Relay Networks with Proportional Fair Constraint.
ICC
Bin Fan, Wenbo Wang, Yicheng Lin, Lin Huang, Kan Zheng
2008 J jnl
Beyond 3G Evolution.
IEEE Veh. Technol. Mag.
Kan Zheng, Lin Huang, Gang Li, Hanwen Cao, Wenbo Wang, Mischa Dohler
2006 B conf
Open Wireless Software Radio on Common PC.
PIMRC
Kan Zheng, Jianfeng Wang, Lin Huang, Guillaume Decarreau
2005 J jnl
TD-CDM-OFDM: Evolution of TD-SCDMA toward 4G.
IEEE Commun. Mag.
Kan Zheng, Lin Huang, Wenbo Wang, Guiliang Yang