ADACT: a tool for analysing (dis)similarity among nucleotide and protein sequences using minimal and relative absent words. - Mujtahid Akon; Muntashir Akon; Mohimenul Kabir; Mohammad Saifur Rahman 001; M. Sohel Rahman (Bioinform., 2021)

Formal Analysis of Access Control Mechanism of 5G Core Network. - Mujtahid Akon; Tianchang Yang; Yilu Dong; Syed Rafiul Hussain (CCS, 2023)

Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. - Abdullah Al Ishtiaq; Sarkar Snigdha Sarathi Das; Syed Md. Mukit Rashid; Ali Ranjbar; Kai Tu; Tianwei Wu; Zhezheng Song; Weixuan Wang; Mujtahid Akon; Rui Zhang 037; Syed Rafiul Hussain (USENIX Security Symposium, 2024)

From Control to Chaos: A Comprehensive Formal Analysis of 5G's Access Control. - Mujtahid Akon; Md. Toufikuzzaman; Syed Rafiul Hussain (SP, 2025)