Publications

RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications

ASE 2025 RFCLLM

Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang

Hongying Dong, Yizhe Zhang, Hyeonmin Lee, Yixin Sun

François Wirz, Marten Gartner, Jelte van Bommel, Elham Ehsani Moghadam, Grace Cimaszewski, Anxiao He, Yizhe Zhang, Henry Birge-Lee, Flix Kottmann, Cyrill Krähenbühl, Jonghoon Kwon, Kyveli Mavromati, Liang Wang, Daniel Bertolo, Marco Canini, Buseung Cho, Ronaldo Ferreira, Simon Green, David Hausheer, Junbeom Hur, Xiaohua Jia, Heejo Lee, Prateek Mittal, Omo Oaiya, Chanjin Park, Adrian Perrig, Jerry Sobieski, Yixin Sun, Cong Wang, Klaas Wierenga

Zhifan Lu, Siyang Sun, Yixin Sun

Hongying Dong, Yizhe Zhang, Hyeonmin Lee, Shumon Huque, Yixin Sun

Hongying Dong, Yizhe Zhang, Hyeonmin Lee, Kevin Du, Guancheng Tu, Yixin Sun

Intercepting Bluetooth Traffic from Wearable Health Devices

SafeThings Workshop 2024 IoTBluetooth

Qi Liu, Yizhe Zhang, Yixin Sun

Hongying Dong, Hao Shu, Vijay Prakash, Yizhe Zhang, Muhammad Talha Paracha, David Choffnes, Santiago Torres-Arias, Danny Yuxing Huang, Yixin Sun

Yizhe Zhang, Hongying Dong, Alastair Nottingham, Molly Buchanan, Donald Brown, Yixin Sun

Yushan Liu, Xiaokui Shu, Yixin Sun, Jiyong Jang, Prateek Mittal

Creating a Secure Underlay for the Internet

USENIX Security 2022 Next-generation networkSCION

Henry Birge-Lee, Joel Wanner, Grace Cimaszewski, Jonghoon Kwon, Liang Wang, François Wirz, Prateek Mittal, Adrian Perrig, Yixin Sun

Yixin Sun, Maria Apostolaki, Henry Birge-Lee, Laurent Vanbever, Jennifer Rexford, Mung Chiang, Prateek Mittal

Yixin Sun, Kangkook Jee, Suphannee Sivakorn, Zhichun Li, Cristian Lumezanu, Lauri Korts-Parn, Zhenyu Wu, Junghwan Rhee, Chung Hwan Kim, Mung Chiang, Prateek Mittal