Colloquium - Principled Frameworks for Analyzing Security and Privacy Postures of Cellular Networks

Date: 
November 22, 2019 - 4:00pm to 5:00pm
Location: 
110 MLH
Speaker: 
Syed Rafiul Hussain
Department of Computer Science | Purdue University

Cellular network is an indispensable part of a nation's critical infrastructure. Unfortunately, security and user privacy for such complex infrastructures are often afterthoughts which induce critical vulnerabilities. To assure robust security and privacy postures, a rigorous systematic analysis of cellular specifications and implementations is, therefore, pivotal albeit is currently missing. In this talk, I will first present how we can harmonize formal verification with such complex networks and capitalize on the capabilities of different automated reasoning techniques to systematically analyze the promised security and privacy guarantees. I will then present how we can leverage a probabilistic reasoning technique to uncover deeply rooted side-channel vulnerabilities in cellular networks that have critical security and privacy implications. Next, to complete the picture, I will talk about practical countermeasures that we have developed to mitigate the insecure connection bootstrapping in cellular networks. Finally, I will conclude with a discussion on emerging challenges in adapting our current approaches to next-generation cellular networks and cyber-physical systems.

Bio:

Syed Rafiul Hussain Postdoctoral Researcher Department of Computer Science Purdue UniversitySyed Rafiul Hussain is a Postdoctoral Researcher in the Department of Computer Science at Purdue University from where he also received his PhD in Fall 2018. His research interests include network and system security with a focus on improving the security and privacy postures of emerging networks and cyber-physical systems, including cellular networks and Internet-of-Things. He has authored and co-authored 18 papers in top security conferences and journals, including ACM CCS and NDSS. His research has been awarded multiple accolades and nominations, including NDSS'19 distinguished paper award honorable mention and ACM SIGBED EWSN'17 best paper award nomination. He has also been inducted twice in the Hall of Fame Mobile Security Research by GSMA for his contribution in identifying new protocol flaws in 4G and 5G networks that led to several changes in the protocol designs. His contribution to systematically analyzing cellular network protocols has introduced a new reasoning technique for analyzing secure network protocols and systems.