Lin Huang

According to our database, Lin Huang authored at least 21 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code.

Yuwei Liu, Xinyi Wan, Yanhao Wang, Minghua Wang, Lin Huang, Tao Wei

CoRR, May, 2026

2025

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency.

Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

CortenMM: Efficient Memory Management with Strong Correctness Guarantees.

Junyang Zhang, Xiangcan Xu, Yonghao 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

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification.

Ziyu Mao, Xiaolin Ma, Lin Huang, Huan Yang, Wu Zhang, Weichao Sun, Yongtao Wang, Jingling Xue, Jingyi Wang

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models.

Yuwei Liu, Junquan Deng, Xiangkun Jia, Yanhao Wang, Minghua Wang, Lin Huang, Tao Wei, Purui Su

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking.

Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi, Tao Wei

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Owfuzz: Discovering Wi-Fi Flaws in Modern Devices through Over-The-Air Fuzzing.

Hongjian Cao, Lin Huang, Shuwei Hu, Shangcheng Shi, Yujia Liu

Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023

Towards a Better Super-App Architecture from a Browser Security Perspective.

Yue Wang, Yao Yao, Shangcheng Shi, Weiting Chen, Lin Huang

Proceedings of the 2023 ACM Workshop on Secure and Trustworthy Superapps, 2023

2018

Inside Radio: An Attack and Defense Guide

Qing Yang, Lin Huang

Springer, ISBN: 978-981-10-8446-1, 2018

2017

Ghost telephonist impersonates you: Vulnerability in 4G LTE CS fallback.

Yuwei Zheng, Lin Huang, Haoqi Shan, Jun Li, Qing Yang, Wenyuan Xu

Proceedings of the 2017 IEEE Conference on Communications and Network Security, 2017

2011

Performance analysis on carrier scheduling schemes in the long-term evolution-advanced system with carrier aggregation.

L. Zhang, Kan Zheng, Wenbo Wang, Lin Huang

IET Commun., 2011

User Fairness-Empowered Power Coordination in OFDMA Downlink.

Zhenning Shi, Yajuan Luo, Lin Huang, Daqing Gu

Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

2010

Performance Analysis of HARQ Transmission in Cooperative DF Relaying Systems.

Kan Zheng, Lijie Hu, Wenbo Wang, Lin Huang

Wirel. Pers. Commun., 2010

Adaptive Modulation in Coded Cooperation under Rayleigh Fading Channels.

Kan Zheng, Lijie Hu, Ling Wang, Wenbo Wang, Lin Huang

IEICE Trans. Commun., 2010

2009

Resource allocation optimization for OFDM-based amplify-and-forward multi-relay system.

Yicheng Lin, Wenbo Wang, Bin Fan, Lin Huang, Kan Zheng

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Spatial multi-user pairing for uplink virtual-MIMO systems with linear receiver.

Bin Fan, Wenbo Wang, Yicheng Lin, Lin Huang, Kan Zheng

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Resource Allocation for Dual-Hop OFDM Systems with Multiple Decode-and-Forward Relays.

Yicheng Lin, Wenbo Wang, Bin Fan, Lin Huang, Kan Zheng

Proceedings of the 70th IEEE Vehicular Technology Conference, 2009

Subcarrier Allocation for OFDMA Relay Networks with Proportional Fair Constraint.

Bin Fan, Wenbo Wang, Yicheng Lin, Lin Huang, Kan Zheng

Proceedings of IEEE International Conference on Communications, 2009

2008

Beyond 3G Evolution.

Kan Zheng, Lin Huang, Gang Li, Hanwen Cao, Wenbo Wang, Mischa Dohler

IEEE Veh. Technol. Mag., 2008

2006

Open Wireless Software Radio on Common PC.

Kan Zheng, Jianfeng Wang, Lin Huang, Guillaume Decarreau

Proceedings of the IEEE 17th International Symposium on Personal, 2006

2005

TD-CDM-OFDM: Evolution of TD-SCDMA toward 4G.

Kan Zheng, Lin Huang, Wenbo Wang, Guiliang Yang

IEEE Commun. Mag., 2005