🤖 AI

LinuxArena: A Control Setting for AI Agents in Live Production Software Environments

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

Tyler Tracy, Ram Potham, Nick Kuhn, Myles Heller, Anshul Khandelwal, Cody Rushing, Henri Lemoine, Miguel Brandao, Tomas (…)2026-04-20
🤖 AI

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

यह शोध पत्र यह प्रदर्शित करता है कि सिम्बॉलिक गार्डरेल्स (symbolic guardrails), बेंचमार्क में पाए गए 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

यह शोध पत्र एक व्यापक, चरणबद्ध माइग्रेशन फ्रेमवर्क प्रस्तावित करता है जो हाइब्रिड दृष्टिकोणों और क्रिप्टो-एजिलिटी को एकीकृत करता है ताकि संसाधन-सीमित IoT-आधारित स्वास्थ्य देखभाल प्रणालियों को सभी आर्किटेक्चरल परतों में असुरक्षित क्लासिकल क्रिप्टोग्राफी से क्वांटम-सेफ समाधानों में स्थानांतरित किया जा सके।

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

Privacy, Prediction, and Allocation

यह शोध पत्र व्यक्तिगत और इकाई-स्तर की रणनीतियों के विभेदक रूप से निजी (differentially private) वेरिएंटों का विश्लेषण करके सहायता आवंटन में गोपनीयता और लक्ष्यीकरण सटीकता के बीच अंतर्संबंधों की जांच करता है, और अंततः गोपनीयता, दक्षता और लक्ष्यीकरण सटीकता के बीच के समझौतों पर व्याख्यात्मक सीमाएं प्रदान करता है।

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 प्रस्तुत करता है, जो एक गोपनीयता-संरक्षित ढांचा है जो प्लेनटेक्स्ट-स्तर का प्रदर्शन प्राप्त करने के लिए अनुकूलित एनकोडर इन्फरेंस, विशिष्ट प्रशिक्षण एल्गोरिदम और एक कुशल अनसॉर्टेड Top-k सर्च के साथ सिक्योर मल्टी-पार्टी कम्प्यूटेशन का लाभ उठाता है, जिससे नैइव (naive) कार्यान्वयन की तुलना में कंप्यूटेशनल ओवरहेड में 20×\times की कमी आती है।

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 को प्रस्तुत करता है, जो लेटेंसी-बाउंड पॉइंटर चेज़िंग (latency-bound pointer chasing) और सिम्बायोटिक हैश बाइंडिंग (symbiotic hash binding) के माध्यम से सख्त अनुक्रमिक मेमोरी निष्पादन को लागू करने वाला एक क्रिप्टोग्राफिक प्रिमिटिव है, जो प्रभावी रूप से डिले (delay) को सत्यापन योग्य बनाने और सिबिल प्रतिरोध (Sybil resistance) को सक्षम करने के लिए बैंडविड्थ के बजाय DRAM लेटेंसी का लाभ उठाकर टाइम-मेमोरी ट्रेड-ऑफ (time-memory trade-offs) और ASIC लाभों का प्रतिरोध करता है।

David L. Condrey2026-04-20
💻 computer science

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

यह शोध पत्र TICoE को प्रस्तुत करता है, जो एक टेक्स्ट-इमेज कोलाबोरेटिव फ्रेमवर्क है जो एक निरंतर उत्तल कॉन्सेप्ट मैनिफोल्ड (continuous convex concept manifold) और पदानुक्रमित दृश्य प्रतिनिधित्व शिक्षण (hierarchical visual representation learning) के माध्यम से कंटेंट फिडेलिटी को बनाए रखते हुए टेक्स्ट-टू-इमेज मॉडल्स में सटीक कॉन्सेप्ट इरेज़र (concept erasure) प्राप्त करता है।

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 इंजेक्शन हमलों (जैसे रबर डकी) का सुदृढ़, गोपनीयता-संरक्षित पता लगाना उन हल्के मॉडलों का उपयोग करके प्राप्त किया जा सकता है जो सामग्री तक पहुँचे बिना या उपयोगकर्ता की पहचान को प्रोफाइल किए बिना, मानव से मशीन के इनपुट के बीच अंतर करने के लिए कीस्ट्रोक टाइमिंग डायनेमिक्स का विश्लेषण करते हैं।

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

यह शोध पत्र फुकुडा-कोमात्सु कम्प्यूटेशनल सीव (Fukuda-Komatsu computational sieve), साइक्लोटोमिक Z2\mathbb{Z}_2-टावर की आगमनात्मक संरचना (inductive structure) और हर्ब्रैंड के प्रमेय (Herbrand's theorem) को संयोजित करके k12k \le 12 के लिए वेबर के अनुमान (Weber's conjecture) को सत्यापित करने वाला पहला बिना शर्त प्रमाण प्रस्तुत करता है, जिससे k9k \ge 9 के पिछले परिणामों के लिए आवश्यक सामान्यीकृत रीमान परिकल्पना (Generalized Riemann Hypothesis) पर निर्भरता समाप्त हो जाती है।

Ming-Xing Luo2026-04-20