💻 computer science

Assertain: Automated Security Assertion Generation Using Large Language Models

يُعد Asscertain إطار عمل مؤتمتًا يستفيد من النماذج اللغوية الكبيرة مع تحسين التأمل الذاتي لتوليد تأكيدات أمان SystemVerilog دقيقة من تصميمات RTL، متفوقًا بشكل كبير على GPT-5 في تغطية الثغرات واكتشاف العيوب مع تقليل جهد التحقق اليدوي.

Shams Tarek, Dipayan Saha, Khan Thamid Hasan, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi2026-04-03
💻 computer science

Seclens: Role-specific Evaluation of LLM's for security vulnerablity detection

تقدم الورقة البحثية SecLens-R، وهو إطار تقييم متعدد أصحاب المصلحة يكشف عن تباينات كبيرة في أداء اكتشاف ثغرات النماذج اللغوية الكبيرة عبر الأدوار التنظيمية المختلفة، مما يثبت أن معايير القياس أحادية المقياس تفشل في استيعاب الأولويات المتباينة لأصحاب المصلحة مثل مسؤولي أمن المعلومات (CISOs) والقيادات الهندسية.

Subho Halder, Siddharth Saxena, Kashinath Kadaba Shrish, Thiyagarajan M2026-04-03
💻 computer science

Combating Data Laundering in LLM Training

تقدم هذه الورقة البحثية "عكس بيانات التوليف" (SDR)، وهو إطار عمل مبتكر لمواجهة غسيل البيانات في تدريب النماذج اللغوية الكبيرة عبر استنتاج التحويلات الأسلوبية غير المعروفة وتوليد استعلامات بشكل تكراري لاستعادة الإشارات القابلة للكشف للاستخدام غير المصرح به للبيانات.

Muxing Li, Zesheng Ye, Sharon Li, Feng Liu2026-04-03
⚡ electrical engineering

Architectural Implications of the UK Cyber Security and Resilience Bill

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

Jonathan Shelby2026-04-03
🤖 machine learning

RuleForge: Automated Generation and Validation for Web Vulnerability Detection at Scale

يُعد RuleForge نظاماً داخلياً في AWS يعمل على أتمتة توليد والتحقق من قواعد اكتشاف ثغرات الويب من قوالب Nuclei باستخدام نظام ثقة مبتكر يعتمد على "النموذج اللغوي الكبير كحَكَم" (LLM-as-a-judge) واستراتيجية تحسين تكرارية، مما يقلل بشكل كبير من الإيجابيات الكاذبة مع معالجة حجم عمليات الكشف عن الثغرات الأمنية (CVE) الحديثة.

Ayush Garg, Sophia Hager, Jacob Montiel, Aditya Tiwari, Michael Gentile, Zach Reavis, David Magnotti, Wayne Fullen2026-04-03
🤖 machine learning

AEGIS: Adversarial Entropy-Guided Immune System -- Thermodynamic State Space Models for Zero-Day Network Evasion Detection

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

Vickson Ferrel2026-04-03
📊 statistics

Pure Differential Privacy for Functional Summaries with a Laplace-like Process

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

Haotian Lin, Matthew Reimherr2026-04-02
💻 computer science

Towards Explainable Privacy Preservation in Federated Learning via Shapley Value-Guided Noise Injection

تقدم هذه الورقة FedSVA، وهي آلية للخصوصية التفاضلية قابلة للتفسير في التعلم الاتحادي تستفيد من قيم شابلي (Shapley Values) لمعايرة حقن الضجيج ديناميكيًا بناءً على مساهمات السمات، مما يحقق أفضل مستويات المقايضة بين الخصوصية والمنفعة مع توفير ضمانات صارمة للتقارب والأمان.

Yunbo Li, Jiaping Gui, Yue Wu2026-04-02
💻 computer science

A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability

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

Matteo Nardelli, Francesco De Sclavis, Michela Iezzi2026-04-02
💻 computer science

Jailbreaking Generative AI: Multivector Phishing Threats and Transformer based Defenses

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

Rina Mishra, Gaurav Varshney2026-04-02