Follow
Abdullah Al Ishtiaq
Abdullah Al Ishtiaq
Ph.D. Student, Computer Science and Engineering, The Pennsylvania State University
Verified email at psu.edu - Homepage
Title
Cited by
Cited by
Year
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices
SR Hussain, I Karim, AA Ishtiaq, O Chowdhury, E Bertino
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
422021
CoDesc: A Large Code-Description Parallel Dataset
M Hasan, T Muttaqueen, AA Ishtiaq, KS Mehrab, MMA Haque, T Hasan, ...
Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021 …, 2021
262021
BERT2Code: Can Pretrained Language Models be Leveraged for Code Search?
AA Ishtiaq, M Hasan, MMA Haque, KS Mehrab, T Muttaqueen, T Hasan, ...
arXiv preprint arXiv:2104.08017, 2021
132021
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations
I Karim, A Al Ishtiaq, SR Hussain, E Bertino
2023 IEEE Symposium on Security and Privacy (SP), 3209-3227, 2023
122023
Hermes: Unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications
A Al Ishtiaq, SSS Das, SMM Rashid, A Ranjbar, K Tu, T Wu, Z Song, ...
33rd USENIX Security Symposium (USENIX Security 24), 4445-4462, 2024
72024
State Machine Mutation-based Testing Framework for Wireless Communication Protocols
SMM Rashid, T Wu, K Tu, AA Ishtiaq, RH Tanvir, Y Dong, O Chowdhury, ...
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
2024
Towards Automating the Generation of Finite State Machines from Natural Language Specifications: A Focus on Cellular Network Security
AA Ishtiaq
2024
Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands
K Tu, A Al Ishtiaq, SMM Rashid, Y Dong, W Wang, T Wu, SR Hussain
33rd USENIX Security Symposium (USENIX Security 24), 3063-3080, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–8