C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Mujtahid Akon
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Formal Analysis
Protein Sequences
Protein Structure And Function
Access Control Mechanism
Top Venues
Bioinform.
CoRR
CCS
</>
Publications
</>
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)