⚛️ quantum physics

Module Lattice Security (Part II): Module Lattice Reduction via Optimal Sign Selection

توسع هذه الورقة خوارزمية تقليل الشبكة (CDPR) من الشبكات المثالية إلى شبكات الموديول عبر تفكيكها إلى وحدات فرعية من الرتبة 1 بواسطة تعامد الأثر، محققةً عاملاً هيرميت أمثلاً وتنفيذاً بدقة محدودة من خلال التقريب بمقياس نظرية الباقي الصينية وطريقة جديدة لاختيار الإشارة الأمثل قائمة على البرمجة الخطية الصحيحة (MILP).

Ming-Xing Luo2026-04-28
💻 computer science

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation

تُعد ProofLoop أداة وكيل (ReAct) مدعومة بالأدوات، تعمل على أتمتة توليد تأكيدات SystemVerilog (SVA) من اللغة الطبيعية عبر الجمع بين استرجاع سياق التصميم المعزز بالاسترجاع وعملية صقل تكرارية تتضمن وجود مُحلل في الحلقة باستخدام أدوات التحقق الرسمي.

Nowfel Mashnoor, Hadi Kamali, Kimia Azar2026-04-28
💻 computer science

AsmRAG: LLM-Driven Malware Detection by Retrieving Functionally Similar Assembly Code

إن AsmRAG هو إطار عمل للكشف عن البرمجيات الخبيثة يستخدم التوليد المعزز بالاسترجاع على مستوى لغة التجميع وآلية اختيار مرساة موزونة بالكثافة لتوفير تحليل جنائي عالي الدقة وقابل للتفسير ومقاوم للتمويه من خلال استرجاع مقتطفات برمجية متشابهة وظيفياً.

ElMouatez Billah Karbab2026-04-28
⚡ electrical engineering

Operationalising Information Security Management: A Procedural Framework Analysis of ISO/IEC 27001:2022 Implementation in a Financial-Technology Organisation

تحلل هذه الورقة كيفية تشغيل مؤسسة تكنولوجيا مالية لمعيار ISO/IEC 27001:2022 من خلال فحص ثمانية إجراءات أمنية جوهرية وتقييم فعاليتها من منظور ثالوث السرية والنزاهة والتوافر (CIA) وإدارة المخاطر المتكاملة.

Ratul Ali2026-04-28
💻 computer science

Protecting the Trace: A Principled Black-Box Approach Against Distillation Attacks

تقترح هذه الورقة البحثية **TraceGuard**، وهي طريقة "مضادة للتقطير" (antidistillation) تعتمد على الصندوق الأسود، حيث تعامل التفاعل بين النموذج المعلم والنموذج الطالب كـ "لعبة ستكيليبرغ" (Stackelberg game) لحماية النماذج الرائدة من سوء استخدام القدرات عن طريق تسميم آثار الاستدلال دون الحاجة إلى الوصول إلى التدرجات أو التضحية بأداء النموذج المعلم.

Max Hartman, Vidhata Jayaraman, Moulik Choraria, Lav R. Varshney2026-04-28
💻 computer science

PrivacyAssist: A User-Centric Agent Framework for Detecting Privacy Inconsistencies in Android Apps

إن PrivacyAssist هو إطار عمل متعدد الوكلاء يعتمد على النماذج اللغوية الكبيرة ويستخدم تقنية التوليد المعزز بالاسترجاع للكشف عن التناقضات بين الأذونات التي تطلبها تطبيقات أندرويد وممارسات البيانات المعلنة عنها وشرحها، مما يساعد المستخدمين على اتخاذ قرارات واعية بشأن الخصوصية.

Tran Thanh Lam Nguyen, Edoardo Di Tullio, Barbara Carminati, Elena Ferrari2026-04-28
💻 computer science

AI Identity: Standards, Gaps, and Research Directions for AI Agents

تجادل هذه الورقة بأن أطر الهوية الحالية غير كافية جوهرياً للوكلاء المستقلين من الذكاء الاصطناعي، وتدعو إلى إجراء أبحاث تأسيسية لمعالجة الفجوات الهيكلية الحرجة في كيفية تحديد هوية هذه الكيانات غير البشرية والتحقق منها ومساءلتها عبر الحدود التنظيمية.

Takumi Otsuka, Kentaroh Toyoda, Alex Leung2026-04-28
💻 computer science

Branch Landing: Bloom Filter-Based Source Authorization for Forward-Edge CFI on RISC-V

تقترح الورقة البحثية تقنية هبوط الفرع (Branch Landing - BRL)، وهي إطار عمل للتحكم في تدفق التحكم (CFI) مدعوم عتادياً لمعمارية RISC-V، يستخدم استعلامات العضوية القائمة على مرشح بلوم (Bloom filter) وتوسعات خفيفة في مجموعة التعليمات لتوفير مصادقة مصدر قابلة للتوسع ومنخفضة التكلفة لحماية تدفق التحكم في الحافة الأمامية.

You Wu, Peter Beerel2026-04-28
💻 computer science

Advanced Anomaly Detection and Threat Intelligence in Zero Trust IoT Environments Using Machine Learning

تتقصى هذه الدراسة تعزيز مرونة الأمن السيبراني في بيئات إنترنت الأشياء القائمة على نموذج "الثقة الصفرية" عبر استخدام مصنفات تعلم الآلة (آلات ناقلات الدعم، والغابة العشوائية، وشجرة القرار) بالاقتران مع تقنية SMOTE لتحسين دقة اكتشاف الشذوذ والتخفيف من حدة عدم توازن الفئات ضمن حركة مرور الشبكة.

Muhammad Umair Basharat, Jawad Hussain, Waqas Khalid, Chiew Foong Kwong2026-04-28
🤖 machine learning

Scalable and Verifiable Federated Learning for Cross-Institution Financial Fraud Detection

تقترح الورقة البحثية "التعلم الاتحادي المتجزئ الديناميكي" (DSFL)، وهو إطار عمل قابل للتوسع والتحقق يستخدم التجزئة العشوائية الديناميكية وعلامات السلامة الخطية لتمكين كشف الاحتيال التعاوني الفعال، والمحافظ على الخصوصية، والقوي عبر المؤسسات المالية مع تقليل العبء الحسابي بشكل كبير مقارنة بالطرق الحالية.

Prajwal Panth, Nishant Nigam2026-04-28