2024:
2023:
- October’23: HERMES has been accepted to USENIX Security’24. Congratulations to Ishtiaq and all the ao-authors!
August’23: SyNSec welcomes Victor Angst and Xiaotian Zhou!
- August’23: NSF Convergence Accelerator on 5G: Phase 2 proposal has been awarded!
- July’23: 5GCVerif has been accepted to ACM CCS’23. Congratulations to Mujtahid, Tianchang, and Yilu!
2022:
- December’22: BLEDiff has been accepted to IEEE S&P (Oakland)’23.
- November’22: SyNSec welcomes Tianwei Wu and Abhijith Krishnan!
- August’22: NSF Convergence Accelerator on 5G proposal has been awarded!
- August’22: NSF CNS Large proposal on sustainability has been awarded!
- Aug’22: SyNSec welcomes Mukit, Tianchang, Weixuang, Zhezheng, and Jill!
- May’22: The PI’s DARPA Young Faculty Award (YFA) proposal has been awarded!
- May’22: The PI has been selected as a DARPA Riser!
- March’22: The PI’s NSF CAREER proposal has been awarded!
2021:
- October’21: CacTUs – Building Privacy-Preserving Smart Camera Syståems has been accepted to PETS’22. Congratulations, Yohan!
- September’21: DIKEUE – Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices – has been accepted to CCS’21.
- July’21: Acknowledged by GSMA on their Mobile Security Research Acknowledgments (formerly known as Hall of Fame) page for uncovering and fixing implementation flaws/weaknesses in 4G and 5G networks.
- July’21: ProChecker accepted for publication to ICDCS’21 has been nominated for the Best Paper Award.
- March’21: Inducted by GSMA in the Mobile Security Research Hall of Fame for identifying design flaws/weaknesses in 4G and 5G networks.
- March’21: A paper dubbed ProChecker on security analysis of 4G LTE protocol implementations has been accepted to ICDCS’21.
- February’21: Paper on defense against 5G fake base station has been accepted to AsiaCCS’21.
2020:
- December’20: PHOENIX has been accepted to NDSS’21.
- November’20: Intel has awarded $27K for our IoT protocol security work.
- August’20: ATFuzzer (journal version) has been accepted for publication to Digital Threats: Research and Practice.
- August’20: PatrIoT has been accepted to Runtime Verification’20.
