3542 पेपर
यह शोध पत्र ZK-PoP को प्रस्तुत करता है, जो एक गोपनीयता-संरक्षण ढांचा है जो संवेदनशील अंतर्निहित डेटा को प्रकट किए बिना व्यवहार संबंधी बायोमेट्रिक्स और सामग्री विकास के माध्यम से मानवीय लेखकत्व को सत्यापित करने के लिए ज़ीरो-नॉलेज प्रमाणों का उपयोग करता है, जिससे प्रक्रिया प्रमाणीकरण और GDPR अनुपालन के बीच संघर्ष का समाधान होता है।
यह शोध पत्र SkillFortify को प्रस्तुत करता है, जो एजेंटिक AI स्किल सप्लाई चेन के लिए पहला औपचारिक विश्लेषण ढांचा है, जो एक नवीन हमलावर मॉडल, सुदृढ़ स्टैटिक विश्लेषण और क्षमता-आधारित सैंडबॉक्सिंग को जोड़ता है ताकि दुर्भावनापूर्ण स्किल्स का पता लगाने में 100% शुद्धता और शून्य फॉल्स पॉजिटिव प्राप्त किया जा सके, जो मौजूदा ह्यूरिस्टिक टूल्स द्वारा छोड़ी गई महत्वपूर्ण सुरक्षा खामियों को संबोधित करता है।
यह शोध पत्र ReTest को प्रस्तुत करता है, जो एक ऐसा फ्रेमवर्क है जो डिफरेंशियल टेस्टिंग और नैव फज़िंग की सीमाओं को दूर करने के लिए ग्रामर-अवेयर फज़िंग को मेटामॉर्फिक टेस्टिंग के साथ जोड़कर रेगुलर एक्सप्रेशन इंजनों का व्यवस्थित रूप से परीक्षण करता है, जिससे क्रॉस-इम्प्लीमेंटेशन निरंतरता पर निर्भर किए बिना उच्च कोड कवरेज प्राप्त होता है और नए दोषों की पहचान की जाती है।
यह शोध पत्र एजेंट इकोनॉमिक सॉवरेन्टी प्रोटोकॉल (AESP) को प्रस्तुत करता है, जो एक स्तरित, ओपन-सोर्स फ्रेमवर्क है जो एआई एजेंटों को क्रिप्टो-नेटिव इंफ्रास्ट्रक्चर पर स्वायत्त रूप से लेनदेन करने में सक्षम बनाता है, जबकि यह सुनिश्चित करता है कि वे पांच विशिष्ट सुरक्षा और गोपनीयता तंत्रों के माध्यम से मानव-निर्धारित शासन सीमाओं से क्रिप्टोग्राफिक रूप से बंधे रहें।
यह शोध पत्र विभेदक गोपनीयता (डिफरेंशियल प्राइवेसी) और डेटा मूल्यांकन उपयोगिता के बीच मौलिक तनाव की जांच करता है, यह विश्लेषण करता है कि मानक निजीकरण सूक्ष्म-स्तरीय प्रभाव रैंकिंग को संरक्षित करने में विफल क्यों होता है, और कठोर गोपनीयता गारंटी के तहत प्रभावी रहने वाले गोपनीयता-संरक्षित मूल्यांकन विधियों को विकसित करने के लिए डिजाइन सिद्धांतों का प्रस्ताव करता है।
यह शोध पत्र CensorLess को प्रस्तुत करता है, जो एक लागत-कुशल सेंसरशिप परिहार प्रणाली है, जो ब्रिज रोटेशन और लाइव माइग्रेशन के माध्यम से मजबूत प्रतिरोध बनाए रखते हुए अत्याधुनिक तकनीकों की तुलना में परिचालन लागत को 97% तक कम करने के लिए सर्वरलेस क्लाउड फंक्शन्स का लाभ उठाती है।
यह शोध पत्र CLBC को प्रस्तुत करता है, जो मिलीभगत करने वाले LLM एजेंटों के बीच गुप्त संकेतों (covert signaling) पर प्रमाणित सीमाओं को लागू करने के लिए संदेश निर्माण को प्रवेश से अलग करता है, जिसमें एक छोटे सत्यापनकर्ता (verifier) द्वारा एक पिन किए गए प्रेडिकेट (predicate) के विरुद्ध प्रूफ-बाउंड लिफाफों (proof-bound envelopes) को स्वीकार करना आवश्यक होता है, जिससे मापने योग्य रिसाव सीमाओं और परिचालन संबंधी समझौतों के साथ ऑनलाइन, नियत (deterministic), और फेल-क्लोज्ड (fail-closed) सुरक्षा सुनिश्चित होती है।
यह शोध पत्र पहचानता है और अनुभवजन्य रूप से प्रदर्शित करता है कि ब्राउज़र-उपयोग एजेंट योजना और निष्पादन के बीच गतिशील वेब सामग्री में परिवर्तन के कारण होने वाले टाइम-ऑफ-चेक-टू-टाइम-ऑफ-यूज़ (TOCTOU) हमलों के प्रति व्यापक रूप से असुरक्षित हैं, और इन जोखिमों को कम करने के लिए एक हल्का प्री-एग्जीक्यूशन वैलिडेशन तंत्र प्रस्तावित करता है।
यह शोध पत्र जेनेरिक सर्वश्रेष्ठ-संभव वन-टाइम प्रोग्राम्स की असंभवता स्थापित करता है, फिर क्लासिकल ओरैकल मॉडल में सामान्यीकृत सिंगल-इफेक्टिव-क्वेरी सुरक्षा और स्टेटफुल क्वांटम इंडिस्टिंग्विशेबिलिटी ऑब्फस्केशन का लाभ उठाकर मनमाने क्वांटम कार्यात्मकताओं के लिए "टेस्टेबल" वन-टाइम प्रोग्राम्स का परिचय देता है और उनका निर्माण करता है।
यह शोध पत्र MoltGraph प्रस्तुत करता है, जो Moltbook प्लेटफॉर्म का एक अनुदैर्ध्य टेम्पोरल ग्राफ डेटासेट है जो एजेंट व्यवहार के पहले ग्राफ-केंद्रित लक्षण वर्णन को सक्षम बनाता है और यह प्रकट करता है कि कैसे अल्पकालिक समन्वित जुड़ाव सामग्री की दृश्यता और डाउनस्ट्रीम एक्सपोज़र को महत्वपूर्ण रूप से बढ़ाता है।