6 citations · 12 across the 5 of their papers we have counts for
5 papers
LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software
Syed Md Mukit Rashid, Abdullah Al Ishtiaq, Kai Tu +7
Logical vulnerabilities in software stem from flaws in program logic rather than memory safety, which can lead to critical security failures. Although existing automated program re…
State Machine Mutation-based Testing Framework for Wireless Communication Protocols
Syed Md Mukit Rashid, Tianwei Wu, Kai Tu +5
This paper proposes Proteus, a protocol state machine, property-guided, and budget-aware automated testing approach for discovering logical vulnerabilities in wireless protocol imp…
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 +8
In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural…
DeepAltTrip: Top-k Alternative Itineraries for Trip Recommendation
Syed Md. Mukit Rashid, Mohammed Eunus Ali, Muhammad Aamir Cheema
Trip itinerary recommendation finds an ordered sequence of Points-of-Interest (POIs) from a large number of candidate POIs in a city. In this paper, we propose a deep learning-base…
CCCNet: An Attention Based Deep Learning Framework for Categorized Crowd Counting
Sarkar Snigdha Sarathi Das, Syed Md. Mukit Rashid, Mohammed Eunus Ali
Crowd counting problem that counts the number of people in an image has been extensively studied in recent years. In this paper, we introduce a new variant of crowd counting proble…