21 citations · 29 across the 14 of their papers we have counts for
15 papers
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Eric Spencer, Arslan Bisharat, Brian Ortiz +6
TLA+ is a formal specification language for verifying distributed systems and safety-critical protocols. Large language models (LLMs) frequently produce TLA+ specifications that fa…
TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
Arslan Bisharat, Eric Spencer, Brian Ortiz +8
Large language models increasingly write TLA formal specifications from natural-language descriptions, but progress is hard to measure: existing resources grade by resemblanc…
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Arslan Bisharat, Brian Ortiz, Eric Spencer +5
TLA+ has supported industrial verification at companies such as Amazon and Microsoft, yet writing correct TLA+ specifications from natural language still requires time and expertis…
Breaking the Illusion of Security via Interpretation: Interpretable Vision Transformer Systems under Attack
Eldor Abdukhamidov, Mohammed Abuhamad, Simon S. Woo +2
Vision transformer (ViT) models, when coupled with interpretation models, are regarded as secure and challenging to deceive, making them well-suited for security-critical domains s…
From Attack to Defense: Insights into Deep Learning Security Measures in Black-Box Settings
Firuz Juraev, Mohammed Abuhamad, Eric Chan-Tin +2
Deep Learning (DL) is rapidly maturing to the point that it can be used in safety- and security-crucial applications. However, adversarial samples, which are undetectable to the hu…
Impact of Architectural Modifications on Deep Learning Adversarial Robustness
Firuz Juraev, Mohammed Abuhamad, Simon S. Woo +2
Rapid advancements of deep learning are accelerating adoption in a wide variety of applications, including safety-critical applications such as self-driving vehicles, drones, robot…
Unveiling Vulnerabilities in Interpretable Deep Learning Systems with Query-Efficient Black-box Attacks
Eldor Abdukhamidov, Mohammed Abuhamad, Simon S. Woo +2
Deep learning has been rapidly employed in many applications revolutionizing many industries, but it is known to be vulnerable to adversarial attacks. Such attacks pose a serious t…
Microbial Genetic Algorithm-based Black-box Attack against Interpretable Deep Learning Systems
Eldor Abdukhamidov, Mohammed Abuhamad, Simon S. Woo +2
Deep learning models are susceptible to adversarial samples in white and black-box environments. Although previous studies have shown high attack success rates, coupling DNN models…
Single-Class Target-Specific Attack against Interpretable Deep Learning Systems
Eldor Abdukhamidov, Mohammed Abuhamad, George K. Thiruvathukal +2
In this paper, we present a novel Single-class target-specific Adversarial attack called SingleADV. The goal of SingleADV is to generate a universal perturbation that deceives the…
SHIELD: Thwarting Code Authorship Attribution
Mohammed Abuhamad, Changhun Jung, David Mohaisen +1
Authorship attribution has become increasingly accurate, posing a serious privacy risk for programmers who wish to remain anonymous. In this paper, we introduce SHIELD to examine t…
Interpretations Cannot Be Trusted: Stealthy and Effective Adversarial Perturbations against Interpretable Deep Learning
Eldor Abdukhamidov, Mohammed Abuhamad, Simon S. Woo +2
Deep learning methods have gained increased attention in various applications due to their outstanding performance. For exploring how this high performance relates to the proper us…
An Exploration of Geo-temporal Characteristics of Users' Reactions on Social Media During the Pandemic
Eldor Abdukhamidov, Firuz Juraev, Mohammed Abuhamad +1
During the outbreak of the COVID-19 pandemic, social networks become the preeminent medium for communication, social discussion, and entertainment. Social network users are regular…
Hate, Obscenity, and Insults: Measuring the Exposure of Children to Inappropriate Comments in YouTube
Sultan Alshamrani, Ahmed Abusnaina, Mohammed Abuhamad +2
Social media has become an essential part of the daily routines of children and adolescents. Moreover, enormous efforts have been made to ensure the psychological and emotional wel…
A Deep Learning-based Fine-grained Hierarchical Learning Approach for Robust Malware Classification
Ahmed Abusnaina, Mohammed Abuhamad, Hisham Alasmary +5
The wide acceptance of Internet of Things (IoT) for both household and industrial applications is accompanied by several security concerns. A major security concern is their probab…
W-Net: A CNN-based Architecture for White Blood Cells Image Classification
Changhun Jung, Mohammed Abuhamad, Jumabek Alikhanov +3
Computer-aided methods for analyzing white blood cells (WBC) have become widely popular due to the complexity of the manual process. Recent works have shown highly accurate segment…