Publication list

Author: Imtiazkarimik23

_data/publist.yml

@@ -0,0 +1,56 @@
+- name: Mirza Masfiqur Rahman
+  photo: Mirza.jpg
+  info: PhD Student
+  email: rahman75@purdue.edu
+  link: https://www.mirzamr.net/
+  number_educ: 1
+  education1: B.Sc in CSE, <a href="https://www.buet.ac.bd/web/" target="_blank">Bangladesh University of Engineering and Technology</a>. 2018
+  number_rec: 2
+  interest1: Deep Learning
+  interest2: Network Security
+
+
+- name: Kazi Samin Mubasshir
+  photo: Kazi.jpg
+  info: PhD Student
+  email: kmubassh@purdue.edu
+  link: https://www.ksmubasshir.com/
+  number_educ: 1
+  education1: B.Sc in CSE, <a href="https://www.buet.ac.bd/web/" target="_blank">Bangladesh University of Engineering and Technology</a>. 2021
+  number_rec: 2
+  interest1: Machine Learning
+  interest2: 5G
+
+- name: Zilin Shen
+  photo: Zilin.jpg
+  info: PhD Student
+  email: shen624@purdue.edu
+  link: https://zilinlin.github.io/
+  number_educ: 1
+  education1: BS in Software Engineering, <a href="https://www.tsinghua.edu.cn/en/" target="_blank">, Tsinghua University, Pakistan</a>. 2022
+  number_rec: 1
+  interest1: Network Security
+
+- name: Mir Imtiaz Mostafiz
+  photo: Mir.jpg
+  info: PhD Student
+  email: mmostafi@purdue.edu
+  link: https://www.linkedin.com/in/mir-imtiaz-mostafiz-361b13191/
+  number_educ: 1
+  education1: B.Sc in CSE, <a href="https://www.buet.ac.bd/web/" target="_blank">Bangladesh University of Engineering and Technology</a>. 2017
+  number_rec: 3
+  interest1: Adversarial ML
+  interest2: Graph Neural Networks
+  interest3: Adversarial Robustness
+
+- name: Yiwei Zhang
+  photo: Yiwei.jpg
+  info: PhD Student
+  email: yiweizhang@purdue.edu
+  link: https://kydahe.github.io/
+  number_educ: 2
+  education1: BS in Information Security, <a href="https://www.xidian.edu.cn/" target="_blank">Xidian University</a>. 2019
+  education2: MS in CS, <a href="https://www.sjtu.edu.cn/" target="_blank">Shanghai Jiao Tong University </a>. 2022
+  number_rec: 2
+  interest1: LLM for Vulnerability Detection
+  interest2: Optimized Post-Quantum Crypto 

_data/team_members.yml

@@ -0,0 +1,13 @@
+- name: Imtiaz Karim
+  photo: Imtiaz.jpg
+  info: Assistant Professor
+  email: karim7@purdue.edu
+  link: https://www.imtiazkarim.net/
+  number_educ: 3
+  education1: B.Sc in CSE, <a href="https://www.buet.ac.bd/web/" target="_blank">Bangladesh University of Engineering and Technology</a>. 2017
+  education2: Ph.D. in CS, <a href="https://www.purdue.edu/" target="_blank">Purdue University</a>. 2023
+  education3: Postdoc with Elisa Bertino, <a href="https://www.cs.purdue.edu/" target="_blank">Purdue University</a>. 2025
+  number_rec: 2
+  interest1: Network security
+  interest2: System security
+

_data/team_members_purdue.yml

@@ -8,7 +8,7 @@ permalink: /media.html
 
 # Media Coverage
 
-## Digital Payments Security
+## Cellular Network 
 - Global News Radio 640 Toronto Canada
 - <a href="https://www.forbes.com/sites/billhardekopf/2024/08/22/this-week-in-credit-card-news-people-using-cash-back-cards-to-help-during-tough-economy/" title="This Week In Credit Card News: Digital Wallets Can Allow Purchases with Stolen Credit Cards" target='_blank'>Forbes</a>
 - <a href="https://www.youtube.com/watch?v=da-4BQukeQM" title="Digital wallets can allow purchases with stolen credit cards" target='_blank'>National Science Foundation (NSF)</a>
@@ -43,4 +43,14 @@ permalink: /media.html
 
 ## Quantum Computing
 - <a href="https://www.cnbc.com/amp/2024/12/22/what-google-quantum-chip-breakthrough-means-for-bitcoins-future.html" title="Taqi Raza Says Breakthroughs in Quantum Computing Will Likely Transform Industries" target='_blank'>CNBC</a>
-- <a href="https://www.umass.edu/news/article/umass-amherst-researchers-join-26-million-quantum-computing-effort-build-internet" title="UMass Amherst Researchers Join $26 Million Quantum Computing Effort to Build Internet of the Future" target='_blank'>UMass News</a>
+- <a href="https://www.umass.edu/news/article/umass-amherst-researchers-join-26-million-quantum-computing-effort-build-internet" title="UMass Amherst Researchers Join $26 Million Quantum Computing Effort to Build Internet of the Future" target='_blank'>UMass News</a>
+
+
+# Reported Vulnerabilities, Acknowledgements, and Bug Bounties
+
+## Acknowledgements 
+
+
+
+
+## Discovered CVE/CVD/SVE's:

_data/team_members_utd.yml

@@ -11,7 +11,7 @@ permalink: /publications/
 
 ## Highlights
 
-**At the end of this page, you can find the [full list of publications and patents](#full-list-of-publications).**
+**At the end of this page, you can find the [full list of publications](#full-list-of-publications).**
 
 {% assign number_printed = 0 %}
 {% for publi in site.data.publist %}

_pages/media.md

@@ -8,12 +8,30 @@ permalink: /research/
 
 # Research
 
-Inspiring from the work of <a href="https://en.wikipedia.org/wiki/Al-SysNetS" target="_blank">Al-SysNetS <i class="fa fa-external-link"></i></a>, the SysNetS lab at UMass Amherst is dedicated to undertake fundamental research topics that solve the challenging problems lying at the intersection of systems and algorithms. In particular, we develop secure and effective solutions in FinTech, Quantum Networks, and Critical Infrastructures -- such as 5G Mobile Networks, and Industrial Control Systems.
-
-Our work brings innovation in building secure and reliable networked systems. Our research identifies fundamental open questions and explores them from various angles. It contributes to better understanding of the state-of-the-art network systems by challenging their operational efficacy, and identifying unexplored aspects at their heterogeneity. It provides simple and innovative solutions from system designs to their operations through verification.
+SysNetS Lab focuses on ensuring the security and privacy of wireless communication protocols (e.g., cellular networks-4G/5G, Bluetooth, VoWiFi, vehicular, WiFi, and IoT) with respect to their design and implementation. The aim is to develop tools that systematically analyze real-world systems and widely used protocols using formal verification, program analysis, machine learning, natural language processing, and software testing techniques. Furthermore, with the advent of the next generation of networks (6G and beyond), the lab’s future goal is to ensure the resilience (reliability, adaptability, and security) of future network generations and develop protocols and systems that are robust and secure by design.
 
 Here are some themes and domains that we currently work on:
 
+
+**LLM-based Protocol Analaysis:**
+
+*CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications (Usenix Security 2024)*
+
+In recent years, there has been a growing focus on scrutinizing the security of cellular networks, often attributing security vulnerabilities to issues in the underlying protocol design descriptions. These protocol design specifications, typically extensive documents that are thousands of pages long, can harbor inaccuracies, underspecifications, implicit assumptions, and internal inconsistencies. 
+![]({{ site.url }}{{ site.baseurl }}/images/respic/CellularLint.png){: style="width: 950px; float: left; margin: 5px 15px 0px 0px;"}
+In light of the evolving landscape, we introduce CellularLint–a semi-automatic framework for inconsistency detection within the standards of 4G and 5G, capitalizing on a suite of natural language processing techniques. Our proposed method uses a revamped few-shot learning mechanism on domain-adapted large language models. Pre-trained on a vast corpus of cellular network protocols, this method enables CellularLint to simultaneously detect inconsistencies at various levels of semantics and practical use cases. In doing so, CellularLint significantly advances the automated analysis of protocol specifications in a scalable fashion. In our investigation, we focused on the Non-Access-Stratum (NAS) and the security specifications of 4G and 5G networks, ultimately uncovering 157 inconsistencies with 82.67% accuracy. After verification of these inconsistencies on 3 open-source implementations and 17 commercial devices, we confirm that they indeed have a substantial impact on design decisions, potentially leading to concerns related to privacy, integrity, availability, and interoperability.
+
+
+**Secure Protocol Design and Defense:**
+
+
+**Protocol noncompliance checking**
+
+
+**Systematic implementation analysis**
+
+**Formal analysis of protocol standards**
+
 **System Security Policies:**
 Studying security policies of large-scale systems is crucial for identifying vulnerabilities and mitigating risks like data breaches and unauthorized access.
 ![]({{ site.url }}{{ site.baseurl }}/images/respic/security.jpg){: style="width: 250px; float: left; margin: 5px 15px 0px 0px;"}
@@ -30,7 +48,7 @@ In the rapidly evolving landscape of quantum computing, the field of quantum sec
 ![]({{ site.url }}{{ site.baseurl }}/images/respic/CELL_SITES.jpeg){: style="width: 70%; float: center; margin: 10px"}
 
 
-### ... and more.
+<!-- ### ... and more. -->
 
 <!-- Our overarching goal is to explore and understand new quantum states of electronic matter on the atomic scale. To do so, we use and develop novel spectroscopic-imaging scanning tunneling microscopy (SI-STM) tools to visualize the relevant quantum mechanical degrees of freedom.