News

2024: 

• February’24: 5GBaseChecker has been accepted to USENIX Security’24. Congratulations to Kai and all the ao-authors!
  February’24: Bypassing the Digital Wallets Payment Security for Free Shopping has been accepted to USENIX Security’24!
• January’24: National Telecommunication and Information Administration (NTIA) proposal has been awarded!
• January’24: SyNSec welcomes Ridwan Hasan Tanvir and Md Sultan Mahmud!

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!

• 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.