Cover Image

LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rashid, Syed Md Mukit, Ishtiaq, Abdullah Al, Tu, Kai, Dong, Yilu, Wu, Tianwei, Ranjbar, Ali, Yang, Tianchang, Sultana, Najrin, Mehnaz, Shagufta, Hussain, Syed Rafiul
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

State Machine Mutation-based Testing Framework for Wireless Communication Protocols
by: Rashid, Syed Md Mukit, et al.
Published: (2024)

From Insight to Exploit: Leveraging LLM Collaboration for Adaptive Adversarial Text Generation
by: Sultana, Najrin, et al.
Published: (2025)

Second-Order Information Matters: Revisiting Machine Unlearning for Large Language Models
by: Gu, Kang, et al.
Published: (2024)

GPS Spoofing Attacks on Automated Frequency Coordination System in Wi-Fi 6E and Beyond
by: Dong, Yilu, et al.
Published: (2025)

Gradient-Free Privacy Leakage in Federated Language Models through Selective Weight Tampering
by: Rashid, Md Rafi Ur, et al.
Published: (2023)

Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol
by: Dong, Yilu, et al.
Published: (2025)

Disparate Privacy Vulnerability: Targeted Attribute Inference Attacks and Defenses
by: Kabir, Ehsanul, et al.
Published: (2025)

Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator
by: Alnashwan, Rabiah, et al.
Published: (2024)

Forget to Flourish: Leveraging Machine-Unlearning on Pretrained Language Models for Privacy Leakage
by: Rashid, Md Rafi Ur, et al.
Published: (2024)

Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models
by: Rashid, Md Rafi Ur, et al.
Published: (2025)

Robustness of Vision Language Models Against Split-Image Harmful Input Attacks
by: Rashid, Md Rafi Ur, et al.
Published: (2026)

GNNBleed: Inference Attacks to Unveil Private Edges in Graphs with Realistic Access to GNN Models
by: Song, Zeyu, et al.
Published: (2023)

Benchmarking Robust Aggregation in Decentralized Gradient Marketplaces
by: Song, Zeyu, et al.
Published: (2025)

Attacks Meet Interpretability (AmI) Evaluation and Findings
by: Ma, Qian, et al.
Published: (2023)

Data Repair
by: Rahman, ATM Mizanur, et al.
Published: (2026)

Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding
by: Kabir, Imran, et al.
Published: (2025)

Jamming Smarter, Not Harder: Exploiting O-RAN Y1 RAN Analytics for Efficient Interference
by: Ganiyu, Abiodun, et al.
Published: (2025)

Data and Context Matter: Towards Generalizing AI-based Software Vulnerability Detection
by: Safdar, Rijha, et al.
Published: (2025)

Project Nisshash: A Modular Dual-Flow Air Purification System for Healthier Indoor Living in Bangladesh
by: Syed, Rashid Asif
Published: (2026)

Detection of Vitiligo Through Machine Learning and Computer‐Aided Techniques: A Systematic Review
by: Sania Tanvir, et al.
Published: (2024)

Baiting AI: Deceptive Adversary Against AI-Protected Industrial Infrastructures
by: Pasikhani, Aryan, et al.
Published: (2026)

Agentic AI for Autonomous Defense in Software Supply Chain Security: Beyond Provenance to Vulnerability Mitigation
by: Syed, Toqeer Ali, et al.
Published: (2025)

PhysicsEval: Inference-Time Techniques to Improve the Reasoning Proficiency of Large Language Models on Physics Problems
by: Siddique, Oshayer, et al.
Published: (2025)

Chapter 8 The Logics of Vulnerability
by: Gámez Fernández, Cristina María
Published: (2023)

MemeMind at ArAIEval Shared Task: Spotting Persuasive Spans in Arabic Text with Persuasion Techniques Identification
by: Biswas, Md Rafiul, et al.
Published: (2024)

NormEval: A Unified Multi-Metric Framework for Evaluating Semantic Fidelity in Text Normalization
by: Kafi, Md Abdullah Al, et al.
Published: (2025)

QuiLL: An LLM-Based Vulnerability Assessment Framework for the Wild
by: Safdar, Rijha, et al.
Published: (2025)

The Consequences of Water and Moisture Intake on the Functionality of Biopolymers and Composites
by: Shahidul Islam, et al.
Published: (2026)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
by: Chung, Tsz Ting, et al.
Published: (2025)

CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
by: Li, Zhihao, et al.
Published: (2025)

Library Automation in Pakistan.
by: Haider, Syed Jalaluddin
Published: (1998)

Preferential Protection of Domains II and III of Bacillus thuringiensis Cry1Aa Toxin by Brush Border Membrane Vesicles
by: Syed-Rehan A. Hussain
Published: (2010)

A Deep Learning‐Based DenseEchoNet Framework With eXplainable Artificial Intelligence for Accurate and Early Heart Disease Prediction
by: Meghavathu S. S. Nayak, et al.
Published: (2025)

Characterization of a Mutant Bacillus thuringiensis d-endotoxin With Enhanced Stability and Toxicity
by: Syed-Rehan A. Hussain
Published: (2011)

LogicScan: An LLM-driven Framework for Detecting Business Logic Vulnerabilities in Smart Contracts
by: Gao, Jiaqi, et al.
Published: (2026)

Automating Computational Reproducibility in Social Science: Comparing Prompt-Based and Agent-Based Approaches
by: Shah, Syed Mehtab Hussain, et al.
Published: (2026)

Patch Validation in Automated Vulnerability Repair
by: Yu, Zheng, et al.
Published: (2026)

Vision-Based Lane Following and Traffic Sign Recognition for Resource-Constrained Autonomous Vehicles
by: Islam, Md Tanjemul, et al.
Published: (2026)

Duluth at SemEval-2026 Task 6: DeBERTa with LLM-Augmented Data for Unmasking Political Question Evasions
by: Syed, Shujauddin, et al.
Published: (2026)

TLGLock: A New Approach in Logic Locking Using Key-Driven Charge Recycling in Threshold Logic Gates
by: Sahruri, Abdullah, et al.
Published: (2025)