💻 computer science

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem

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

Jonathan Brossard2026-04-21
🤖 AI

CAMP: Cumulative Agentic Masking and Pruning for Privacy Protection in Multi-Turn LLM Conversations

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

Aman Panjwani2026-04-21
🤖 AI

Public and private blockchain for decentralized digital building twins and building automation system

تقترح هذه الدراسة وتتحقق من صحة إطار عمل لامركزي قائم على تقنية البلوكشين باستخدام سجلات عامة وخاصة لتعزيز المرونة السيبرانية والأمن والخصوصية لنقل بيانات إنترنت الأشياء في التوائم الرقمية للمباني الذكية، مما يثبت أن "Hyperledger Fabric" يوفر قدرة فائقة على التوسع وفعالية أكبر من حيث التكلفة مقارنة بالبنى المركزية التقليدية.

Reachsak Ly, Alireza Shojaei2026-04-21
💻 computer science

Polynomial Multiproofs for Scalable Data Availability Sampling in Blockchain Light Clients

تقترح هذه الورقة البحثية وتقيم آلية إثبات متعدد الحدود (PMP) لعملاء البلوكشين الخفيفين، والتي تقوم بتجميع براهين KZG متعددة في عملية تحقق واحدة، مما يقلل بشكل كبير من تكاليف عرض النطاق الترددي والتخزين والحوسبة بنسبة تصل إلى 45% مقارنة بنهج الإثبات لكل خلية التقليدي.

Rachit Anand Srivastava, Vikram Bhattacharjee, Will Arnold, Toufeeq Pasha2026-04-21
💻 computer science

Benign Fine-Tuning Breaks Safety Alignment in Audio LLMs

تقدم هذه الورقة أول دراسة منهجية تثبت أن الضبط الدقيق الحميد يضعف السلامة في النماذج اللغوية الكبيرة الصوتية (Audio LLMs) بشكل خطير من خلال رفع معدلات نجاح الاختراق (jailbreak) إلى ما يصل إلى 87.12% عبر ثغرات مشروطة بالبنية في الفضاءات التضمينية الدلالية والصوتية، مع اقتراح دفاعات فعالة تعتمد على التصفية والتلقين تعمل على استعادة السلامة دون إجراء تغييرات في البنية.

Jaechul Roh, Amir Houmansadr2026-04-21
💻 computer science

Stringology Based Cryptology

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

Victor Kebande2026-04-21
🤖 AI

SafeDream: Safety World Model for Proactive Early Jailbreak Detection

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

Bo Yan, Weikai Lin, Yada Zhu, Song Wang2026-04-21
💻 computer science

ParikkhaChain: Blockchain-Based Result Processing and Privacy-Preserving Academic Record Management for the Complete Examination Lifecycle

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

Rabib Jahin Ibn Momin, Ahmed Mahir Sultan Rumi, Rezwana Reaz2026-04-21
💻 computer science

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification

تقدم هذه الورقة DALC-CT، وهي أداة مفتوحة المصدر تتحقق من خاصية الوقت الثابت للبرامج التشفيرية من خلال التحليل الديناميكي ومقارنة آثار التعليمات منخفضة المستوى عبر مدخلات مختلفة للكشف عن الثغرات الأمنية المتعلقة بالقنوات الجانبية للتوقيت.

Nges Brian Njungle, Edwin P. Kayang, Mishel J. Paul, Michel A. Kinsy2026-04-21