Abdullah Al Ishtiaq

Orcid: 0000-0003-0629-2895

According to our database1, Abdullah Al Ishtiaq authored at least 7 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
State Machine Mutation-based Testing Framework for Wireless Communication Protocols.
CoRR, 2024

Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands.
Proceedings of the 33rd USENIX Security Symposium, 2024

Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications.
Proceedings of the 33rd USENIX Security Symposium, 2024

2023
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2021
BERT2Code: Can Pretrained Language Models be Leveraged for Code Search?
CoRR, 2021

Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

CoDesc: A Large Code-Description Parallel Dataset.
Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021


  Loading...