Mujtahid Akon

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Security Analysis

Protein Sequences

Network Protocols

Top Venues

USENIX Security Symposium

Publications

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, Syed Rafiul Hussain
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. USENIX Security Symposium (2024)
Mujtahid Akon, Tianchang Yang, Yilu Dong, Syed Rafiul Hussain
Formal Analysis of Access Control Mechanism of 5G Core Network. CCS (2023)
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, Syed Rafiul Hussain
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. CoRR (2023)
Mujtahid Akon, Muntashir Akon, Mohimenul Kabir, Mohammad Saifur Rahman, M. Sohel Rahman
ADACT: a tool for analysing (dis)similarity among nucleotide and protein sequences using minimal and relative absent words. Bioinform. 37 (10) (2021)