🤖 machine learning

Adversarial Frontiers: Minimum-Norm Attack Ensembles for Robustness Evaluation

यह शोध पत्र एक एकीकृत मूल्यांकन ढांचे को प्रस्तुत करता है जो विविध विक्षोभ मानदंडों (perturbation norms) के across स्थिर, लागत-कुशल और इष्टतमता-जागरूक सुदृढ़ता रैंकिंग प्रदान करने के लिए निश्चित-बजट, एकल-मान (single-norm) प्रतिकूल आकलनों को नियंत्रणीय न्यूनतम-मान हमले एंसेम्बल्स और फ्रंटियर-आधारित मेट्रिक्स से प्रतिस्थापित करता है।

Luca Scionis, Luca Melis, Maura Pintor, Fabio Brau, Ambra Demontis, Giorgio Fumera, Fabio Roli, Battista Biggio2026-07-23
💬 NLP

JANUS: Foreseeing Latent Risk for Long-Horizon Agent Safety

यह शोध पत्र जानस (Janus) को प्रस्तुत करता है, जो एक दूरदर्शिता-उन्मुख ढांचा (foresight-oriented framework) है जो वैनगार्ड (Vanguard) नामक एक गार्ड मॉडल को भविष्य के जोखिम पूर्वानुमान और सुरक्षा निर्णय (safety adjudication) को संयुक्त रूप से अनुकूलित करके असुरक्षित दीर्घ-अवधि एजेंट कार्यों का अनुमान लगाने और उन्हें रोकने के लिए प्रशिक्षित करता है, जिससे कई बेंचमार्क पर सुरक्षा संरक्षण और सौहार्दपूर्ण कार्य पूर्णता दोनों में महत्वपूर्ण सुधार प्राप्त होता है।

Yuan Xiong, Linji Hao, Shizhu He, Yequan Wang, Lijun Li2026-07-23
🤖 machine learning

HijackKV: New Threat in Position-Independent KV Cache Reuse

यह शोध पत्र HIJACKKV प्रस्तुत करता है, जो एक नवीन हमला ढांचा (attack framework) है जो बड़े भाषा मॉडलों (large language models) में स्थिति-स्वतंत्र (position-independent) KV कैश पुन: उपयोग का लाभ उठाकर हमलावर-नियंत्रित प्रीफिक्स को इंजेक्ट करके मॉडल के व्यवहार को चुपचाप हाईजैक करता है, जो वास्तविक बाधाओं के तहत और विभिन्न मॉडलों में उच्च सफलता दर प्राप्त करता है।

Yichi Zhang, Zhiqi Wang, Huan Zhang, Yuchen Yang2026-07-23
⚡ electrical engineering

ISAC-Assisted Channel Knowledge Map Generation for Physical Layer Authentication

यह शोध पत्र एक भौतिक परत प्रमाणीकरण ढांचे का प्रस्ताव करता है जो पर्यावरणीय लेआउट को पुनर्गठित करने और चैनल नॉलेज मैप्स (CKMs) उत्पन्न करने के लिए इंटीग्रेटेड सेंसिंग एंड कम्युनिकेशन (ISAC) का लाभ उठाता है, जिनका उपयोग फिर अनुमानित चैनलों की मानचित्र के विरुद्ध तुलना करके ट्रांसमीटर स्थितियों को सत्यापित करने और वैध उपयोगकर्ताओं को विरोधियों से अलग करने के लिए किया जाता है, जबकि पुनर्गठन और अनुमान त्रुटियों के विरुद्ध सिस्टम की मजबूती का विश्लेषण किया जाता है।

Luca Bonaventura, Edoardo Gardin, Alessia Barison, Francesco Ardizzon, Stefano Tomasin2026-07-23
💻 computer science

The Ethics of Autonomous AI Agents for Offensive Security

यह शोध पत्र तर्क देता है कि एलएलएम (LLM) संचालित स्वायत्त एजेंट, कार्यों, प्रभाव और उपयोगकर्ता कौशल में अनिश्चितता पेश करके आक्रामक सुरक्षा (offensive security) को बदल रहे हैं, जो हमलावरों के लिए एक संरचनात्मक लाभ पैदा करता है और उपयोगकर्ताओं, डेवलपर्स और तीसरे पक्षों के बीच नैतिक उत्तरदायित्व को बिखेरकर मौजूदा नैतिक ढांचों को चुनौती देता है।

Andreas Happe, Jürgen Cito, Jasmin Wachter2026-07-23
🔢 mathematics

Constant-time decoding of Gabidulin codes and their generalizations with application to RQC

यह शोध पत्र ऑगमेंटेड गैबिडुलिन कोड्स के लिए पहले कॉन्स्टेंट-टाइम डिकोडिंग एल्गोरिदम को प्रस्तुत करता है, जो यह प्रदर्शित करता है कि जबकि परिणामी RQC-Block-MS-AG कार्यान्वयन HQC की तुलना में धीमा है, यह लगभग चार गुना छोटे सिफरटेक्स्ट और कुंजी आकार प्राप्त करके एक आकर्षक ट्रेड-ऑफ प्रदान करता है।

Nicolas Aragon, Chloé Baïsse, Anthony Fraga, Philippe Gaborit, Ilaria Zappatore2026-07-23
💻 computer science

Pure-DP Statistical Query Release at the Conjectured Square-Root Rate

यह शोध पत्र निकोलोव और उल्मैन के एक अनुमान (conjecture) को हल करता है, जिसमें एक सूचना-सैद्धांतिक (information-theoretic), ε\varepsilon-डिफरेंशियल प्राइवेट मैकेनिज्म प्रस्तुत किया गया है जो TT आकार के ब्रह्मांड (universe) पर kk सांख्यिकीय प्रश्नों (statistical queries) को जारी करता है, जिसका अपेक्षित वर्स्ट-कोऑर्डिनेट एरर (worst-coordinate error) सभी पैरामीटर व्यवस्थाओं में अनुमानित वर्गमूल दर O(log(2T)log(2k)/(εn))O(\sqrt{\log(2T)\log(2k)/(\varepsilon n)}) से मेल खाता है।

Jack Fitzsimons2026-07-23
💻 computer science

Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs

यह शोध पत्र पीसवाइज कंपोजिशन (piecewise composition) को प्रस्तुत करता है, जो हार्डवेयर डिजाइनों के लिए एक नवीन सिम्बोलिक एक्जीक्यूशन तकनीक है जो पथ अन्वेषण (path exploration) को SMT सॉल्वर पर ऑफलोड करने के लिए मॉड्यूलर संरचना का लाभ उठाती है, जिससे नेटलिस्ट ट्रांसलेशन के बिना सीधे RTL Verilog का विश्लेषण करते हुए रनटाइम में 97% की कमी और अन्वेषित पथों में एक परिमाण (order-of-magnitude) की कमी प्राप्त होती है।

Kaki Ryan, Cynthia Sturton2026-07-22
💻 computer science

Augmented Symbolic Execution for Information Flow in Hardware Designs

यह शोध पत्र SEIF को प्रस्तुत करता है, जो हार्डवेयर डिजाइनों में सूचना प्रवाह पथों (information flow paths) को कुशलतापूर्वक सत्यापित और स्पष्ट करने के लिए स्टैटिक एनालिसिस को गाइडेड सिम्बोलिक एक्जीक्यूशन के साथ जोड़ता है, जो विभिन्न ओपन-सोर्स घटकों में गहरे क्लॉक साइकिल्स (clock cycles) को व्यापक रूप से खोजने और सुरक्षा उल्लंघनों की पहचान करने की अपनी क्षमता प्रदर्शित करता है।

Kaki Ryan, Matthew Gregoire, Cynthia Sturton2026-07-22
💻 computer science

PrivAR: Client-Side Privacy Framework for Real-Time Location-Based Augmented Reality

PrivAR एक नवीन क्लाइंट-साइड प्राइवेसी फ्रेमवर्क है जो रियल-टाइम लोकेशन-आधारित ऑगमेंटेड रियलिटी के लिए हल्के 'प्लानर स्टेयरकेस मैकेनिज्म' (Planar Staircase Mechanisms) का उपयोग करता है ताकि मौजूदा समाधानों की तुलना में सख्त लेटेंसी बाधाओं को बनाए रखते हुए और एप्लिकेशन उपयोगिता में महत्वपूर्ण सुधार करते हुए, एक साथ मजबूत प्रति-स्थान (per-location) और प्रक्षेपवक्र-स्तर (trajectory-level) की गोपनीयता गारंटी प्रदान की जा सके।

Shafizur Rahman Seeam, Ye Zheng, Zhengxiong Li, Yidan Hu2026-07-22