🤖 AI

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility

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

Yining Hong, Yining She, Eunsuk Kang, Christopher S. Timperley, Christian Kästner2026-04-20
💻 computer science

A Framework for Post Quantum Migration in IoT-Based Healthcare Systems

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

Asif Alif, Khondokar Fida Hasan, Basker Palaniswamy, Md. Morshedul Islam2026-04-20
💻 computer science

Privacy, Prediction, and Allocation

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

Ben Jacobsen, Nitin Kohli2026-04-20
💻 computer science

Half-Moon Cookie: Private, Similarity-Based Blocklisting with TOCTOU-Attack Resilience

تقدم الورقة البحثية "Half-Moon Cookie"، وهو إطار عمل خاص للقوائم السوداء يُمكّن العملاء من التحقق من العناصر مقابل قائمة سوداء مملوكة للخادم تعتمد على التشابه دون الكشف عن الاستعلامات أو القائمة نفسها، مع توفير آلية مقاومة لهجمات (TOCTOU) لإعادة التحقق بكفاءة من العناصر التي تمت الموافقة عليها مسبقاً.

Xinyuan Zhang, Anrin Chakraborti, Michael K. Reiter2026-04-20
🤖 AI

Privacy-Preserving LLMs Routing

تقدم هذه الورقة البحثية PPRoute، وهو إطار عمل للحفاظ على الخصوصية في توجيه النماذج اللغوية الكبيرة (LLM routing) يستفيد من الحوسبة الآمنة متعددة الأطراف مع استنتاج مُحسّن للمُشفّر، وخوارزميات تدريب متخصصة، وبحث Top-k غير مرتب وفعال لتحقيق أداء بمستوى النص الصريح مع تقليل العبء الحسابي بمقدار 20 ضعفاً مقارنة بالتنفيذات البدائية.

Xidong Wu, Yukuan Zhang, Yuqiong Ji, Reza Shirkavand, Qian Lou, Shangqian Gao2026-04-20
💻 computer science

PoSME: Proof of Sequential Memory Execution via Latency-Bound Pointer Chasing with Causal Hash Binding

تُقدم الورقة البحثية PoSME، وهو بدائي تشفيري يفرض تنفيذ ذاكرة تسلسلياً صارماً من خلال تتبع المؤشرات المرتبط بالكمون والربط التوافقي بالهاش، مما يقاوم بفعالية مقايضات الوقت والذاكرة ومزايا الدوائر المتكاملة محددة التطبيقات (ASIC) عبر استغلال زمن وصول ذاكرة DRAM بدلاً من عرض النطاق الترددي لتمكين التأخير القابل للتحقق ومقاومة هجمات Sybil.

David L. Condrey2026-04-20
💻 computer science

Beyond Text Prompts: Precise Concept Erasure through Text-Image Collaboration

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

Jun Li, Lizhi Xiong, Ziqiang Li, Weiwei Jiang, Zhangjie Fu, Yong Li, Guo-Sen Xie2026-04-20
💻 computer science

QUACK! Making the (Rubber) Ducky Talk: A Systematic Study of Keystroke Dynamics for HID Injection Detection

تقدم هذه الورقة أول دراسة منهجية تثبت أن الكشف القوي والمحافظ على الخصوصية عن هجمات حقن أجهزة USB HID (مثل Rubber Ducky) أمر ممكن باستخدام نماذج خفيفة الوزن تحلل ديناميكيات توقيت ضربات المفاتيح للتمييز بين الإدخال البشري والآلي دون الوصول إلى المحتوى أو تحديد هوية المستخدم.

Alessandro Lotto, Francesco Marchiori, Mauro Conti2026-04-20
⚛️ quantum physics

Module Lattice Security (Part I): Unconditional Verification of Weber's Conjecture for k12k \le 12

تقدم هذه الورقة أول برهان غير مشروط يتحقق من حدسية ويبر لـ k12k \le 12 عبر الجمع بين غربال فوكودا-كوماتسو الحسابي، والبنية الاستقرائية لبرج Z2\mathbb{Z}_2 السيكلوتومي، ونظرية هيربراند، مما يلغي الاعتماد على فرضية ريمان المعممة التي كانت مطلوبة في النتائج السابقة لـ k9k \ge 9.

Ming-Xing Luo2026-04-20
💬 NLP

A Case Study on the Impact of Anonymization Along the RAG Pipeline

تُظهر هذه الحالة الدراسية تجريبياً أن موضع إخفاء الهوية ضمن مسار التوليد المعزز بالاسترجاع (RAG) — وتحديداً ما إذا كان يُطبق على مجموعة البيانات الأساسية أو على الإجابة المولدة — يؤثر بشكل كبير على مقايضات الخصوصية والمنفعة الناتجة.

Andreea-Elena Bodea, Stephen Meisenbacher, Florian Matthes2026-04-20