⚡ electrical engineering

Evaluating Future Air Traffic Management Security

यह शोध पत्र LDACS एयर ट्रैफिक मैनेजमेंट सिस्टम के लिए प्रस्तावित PUF-आधारित प्रमाणीकरण तंत्र की कमजोरियों का मूल्यांकन करता है—विशेष रूप से परिष्कृत मॉडलिंग, क्वांटम कंप्यूटिंग खतरों और उम्र बढ़ने के कारण होने वाली अस्थिरता के प्रति इसकी संवेदनशीलता का—और एक अधिक सुदृढ़ विकल्प के रूप में पब्लिक की इंफ्रास्ट्रक्चर (PKI) का प्रस्ताव करता है।

Konstantinos Spalas2026-04-07
🤖 machine learning

Explainable Autonomous Cyber Defense using Adversarial Multi-Agent Reinforcement Learning

यह शोध पत्र C-MADF को प्रस्तुत करता है, जो एक संरचनात्मक रूप से बाधित स्वायत्त साइबर रक्षा ढांचा है जो उन्नत निरंतर खतरों (एडवांस्ड पर्सिस्टेंट थ्रेट्स) का पता लगाने में फाल्स पॉजिटिव को कम करने और व्याख्यात्मकता बढ़ाने के लिए कॉज़ल मॉडलिंग को एडवर्सरियल डुअल-पॉलिसी सुदृढीकरण लर्निंग के साथ जोड़ता है।

Yiyao Zhang, Diksha Goel, Hussain Ahmad2026-04-07
💻 computer science

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems

यह शोधपत्र ह्यूमन डेलीगेशन प्रोवेनेंस (HDP) प्रोटोकॉल प्रस्तुत करता है, जो एक हल्का, ऑफलाइन-सत्यापन योग्य क्रिप्टोग्राफिक स्कीम है जो हस्ताक्षरित टोकन के माध्यम से मल्टी-हॉप डेलीगेशन श्रृंखलाओं के साथ मानवीय प्राधिकरण को क्रिप्टोग्राफिक रूप से बांधकर एजेंटिक एआई प्रणालियों में जवाबदेही सुनिश्चित करता है, जो OAuth 2.0 और JWTs जैसे मौजूदा मानकों द्वारा छोड़े गए एक महत्वपूर्ण अंतर को संबोधित करता है।

Asiri Dalugoda2026-04-07
💬 NLP

Mapping the Exploitation Surface: A 10,000-Trial Taxonomy of What Makes LLM Agents Exploit Vulnerabilities

सात मॉडलों पर 10,000-परीक्षणों के एक व्यवस्थित अध्ययन के माध्यम से, यह शोध पत्र प्रकट करता है कि जबकि अधिकांश सामान्य प्रतिकूल प्रॉम्प्ट तकनीकें एलएलएम (LLM) एजेंटों को कमजोरियों का फायदा उठाने के लिए उकसाने में विफल रहती हैं, विशिष्ट "लक्ष्य पुनर्गठन" (goal reframing) निर्देश जो कार्यों को पहेलियों के रूप में पुनर्व्याख्या करते हैं, विश्वसनीय रूप से सुरक्षा नियमों को दरकिनार कर देते हैं, जो यह सुझाव देता है कि रक्षकों को व्यापक प्रतिकूल श्रेणियों के बजाय इस सूक्ष्म भाषाई पैटर्न के लिए ऑडिटिंग को प्राथमिकता देनी चाहिए।

Charafeddine Mouzouni2026-04-07
💻 computer science

Digital Privacy in IoT: Exploring Challenges, Approaches and Open Issues

यह शोध पत्र IEEE डिजिटल प्राइवेसी मॉडल के आधार पर जोखिमों के वर्गीकरण का प्रस्ताव करके, मौजूदा गोपनीयता-बढ़ाने वाली प्रौद्योगिकियों की समीक्षा करके, और एआई-संचालित गोपनीयता संबंधी चिंताओं को एक बहु-स्तरीय, जवाबदेह दृष्टिकोण के माध्यम से संबोधित करने के लिए AURA-IoT फ्रेमवर्क पेश करके IoT पारिस्थितिकी तंत्र में डिजिटल गोपनीयता की चुनौतियों का परीक्षण करता है।

Shini Girija, Pranav M. Pawar, Raja Muthalagu, Mithun Mukherjee2026-04-07
🤖 machine learning

Dynamic Free-Rider Detection in Federated Learning via Simulated Attack Patterns

यह शोध पत्र S2-WEF का प्रस्ताव करता है, जो एक नवीन पहचान पद्धति है जो ग्लोबल-मॉडल-आधारित हमलों के वेट इवॉल्विंग फ्रीक्वेंसी (WEF) पैटर्न का अनुकरण करती है और उन्हें डेविएशन स्कोर के साथ जोड़ती है ताकि प्रॉक्सी डेटासेट या प्री-ट्रेनिंग की आवश्यकता के बिना फेडरेटेड लर्निंग में डायनेमिक फ्री-राइडर्स की मजबूती से पहचान की जा सके।

Motoki Nakamura2026-04-07
💻 computer science

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain

यह शोध पत्र SAFT-GT टूलचेन प्रस्तुत करता है, जो एक मॉडल-आधारित समाधान है जो स्वचालित अटैक-फॉल्ट ट्री जनरेशन के माध्यम से जटिल सेल्फ-अडैप्टिव सिस्टम्स के लिए सुरक्षा और सुरक्षा विश्लेषण को एकीकृत करता है, जिसे डोमेन विशेषज्ञों द्वारा सत्यापित किया गया है और ओपन-सोर्स सॉफ्टवेयर के रूप में जारी किया गया है।

Irdin Pekaric, Raffaela Groner, Alexander Raschke, Thomas Witte, Jubril Gbolahan Adigun, Michael Felderer, Matthias Tich (…)2026-04-07
🤖 machine learning

Fine-Tuning Integrity for Modern Neural Networks: Structured Drift Proofs via Norm, Rank, and Sparsity Certificates

यह शोध पत्र नियंत्रित मॉडल विकास को सत्यापित करने के लिए एक सुरक्षा ढांचे के रूप में फाइन-ट्यूनिंग इंटीग्रिटी (FTI) को प्रस्तुत करता है, जो संक्षिप्त मॉडल अंतर प्रमाणों (SMDPs) का उपयोग करके क्रिप्टोग्राफ़िक रूप से यह प्रमाणित करता है कि न्यूरल नेटवर्क अपडेट विशिष्ट संरचनात्मक बाधाओं—जैसे कि नॉर्म बाउंड्स, लो रैंक, या स्पर्सिटी—का पालन करते हैं—बिना पूर्ण मॉडल को प्रकट किए या मॉडल के आकार के आनुपातिक सत्यापन लागत के।

Zhenhang Shang, Kani Chen2026-04-07
💻 computer science

Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines

यह शोध पत्र VDF-आधारित रैंडमनेस बीकन के लिए एक औपचारिक आर्थिक सुरक्षा ढांचे को प्रस्तुत करता है, जो हार्डवेयर स्पीडअप और रिवॉर्ड शोषण के माध्यम से लाभदायक हमलों को रोकने के लिए आवश्यक विलंब थ्रेशोल्ड (delay thresholds) प्राप्त करने हेतु तर्कसंगत विरोधियों को 'ऑप्टिमल-स्टॉपिंग एजेंटों' के रूप में मॉडल करता है, और अंततः यह प्रदर्शित करता है कि वर्तमान के कई प्रस्ताव आर्थिक रूप से असुरक्षित हैं और मजबूत पैरामीटर चुनने के लिए दिशानिर्देश प्रदान करता है।

Zhenhang Shang, Kani Chen2026-04-07
💻 computer science

RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups

RegGuard एक एकीकृत ढांचा है जो नियामक वित्तीय अनुप्रयोगों के लिए ऑप्टिमिस्टिक रोलअप्स को उन्नत करने हेतु सिमेंटिक सत्यापन, क्रॉस-लेयर स्टेट कंसिस्टेंसी चेक और क्रिप्टोग्राफिक रूप से सत्यापन योग्य फेयर ऑर्डरिंग को एकीकृत करता है ताकि उच्च थ्रूपुट बनाए रखते हुए वैधता और निष्पक्षता के अंतराल को संबोधित किया जा सके।

Zhenhang Shang, Yingzhe Yu, Kani Chen2026-04-07