3533 पेपर
यह शोध पत्र एक सह-डिज़ाइन (co-design) प्रतिमान प्रस्तावित करता है जो निजी क्लाउड इन्फरेंस की अत्यधिक कम्प्यूटेशनल लागतों को दूर करने के लिए इन्फरेंस सर्किटों हेतु फुली होमोमोर्फिक एन्क्रिप्शन (FHE) योजनाओं को अनुकूलित करने और एआई मॉडल आर्किटेक्चर को सीमित करने का कार्य एक साथ करता है।
यह शोध पत्र ACRFence को प्रस्तुत करता है, जो एक फ्रेमवर्क-अज्ञेय (framework-agnostic) शमन (mitigation) है जो LLM एजेंटों में सिमेंटिक रोलबैक हमलों को रोकता है—जहाँ चेकपॉइंट-रिस्टोर के बाद पुन: संश्लेषित (re-synthesized) अनुरोधों के कारण दोहरा भुगतान जैसे अपूरणीय दुष्प्रभाव होते हैं—जो टूल प्रभावों को रिकॉर्ड करके और रीप्ले-ऑर-फोर्क (replay-or-fork) सिमेंटिक्स को लागू करके किया जाता है।
AEGIS एक नवीन मल्टी-एजेंट फ्रेमवर्क है जो LLM तर्क को रिपॉजिटरी-स्तरीय कोड प्रॉपर्टी ग्राफ में ग्राउंड करके साक्ष्य-आधारित डिपेंडेंसी चेन को गतिशील रूप से पुनर्गठित करता है, जिससे द्वंद्वात्मक तर्क और स्वतंत्र मेटा-ऑडिटिंग के माध्यम से मतिभ्रम (hallucinations) को समाप्त करते हुए अत्याधुनिक भेद्यता पहचान (vulnerability detection) प्राप्त करता है।
यह शोध पत्र गोपनीयता बाधाओं के तहत मौजूदा हमलों की प्रभावशीलता का विश्लेषण करके और अधिक सुरक्षित, गोपनीयता-संरक्षित GNN आर्किटेक्चर विकसित करने की दिशाओं का प्रस्ताव देकर, ग्राफ न्यूरल नेटवर्क में लोकल डिफरेंशियल प्राइवेसी और एडवरसेरियल रोबस्टनेस के बीच परस्पर क्रिया की जांच करता है।
यह शोध पत्र AC4A को प्रस्तुत करता है, जो एक लचीला एक्सेस कंट्रोल फ्रेमवर्क है जो API-आधारित और ब्राउज़र-आधारित दोनों सिस्टम्स में LLM एजेंटों के लिए सूक्ष्म-स्तरीय (fine-grained) अनुमति प्रबंधन को सक्षम बनाता है, जिससे उपयोगकर्ताओं को एजेंट को पूर्ण या शून्य एक्सेस देने के बजाय केवल कार्य के लिए आवश्यक विशिष्ट संसाधनों तक ही पहुंच प्रतिबंधित करने की अनुमति मिलती है।
यह शोध पत्र ओपन एजेंट पासपोर्ट (OAP) को प्रस्तुत करता है, जो एक नियतात्मक (deterministic), नीति-आधारित ढांचा है जो अनधिकृत कार्यों को रोकने के लिए निष्पादन से पहले स्वायत्त एआई टूल कॉल्स को इंटरसेप्ट और अधिकृत करता है, जो कम विलंबता (latency) बनाए रखते हुए प्रतिकूल परीक्षणों में सोशल इंजीनियरिंग हमलों के विरुद्ध 100% सुरक्षा प्रदर्शित करता है।
यह शोधपत्र बाइनरी परिकल्पना परीक्षणों (binary hypothesis tests) के मिश्रण के लिए एक संरचनात्मक लेम्मा (structural lemma) व्युत्पन्न करके, कई एक साथ लागू होने वाले विभेदक गोपनीयता (differential privacy) बाधाओं को संतुष्ट करने वाले तंत्रों की सटीक संरचना के लिए एक ढांचा स्थापित करता है, जो एक गोपनीयता क्षेत्र (privacy region) प्रदान करता है जिसे विषम गारंटियों (heterogeneous guarantees) के मिश्रण के रूप में दर्शाया जा सकता है और किसी भी संख्या में बाधाओं तक सामान्यीकृत किया जा सकता है।
यह शोध पत्र SkillProbe को प्रस्तुत करता है, जो एक मल्टी-एजेंट सहयोगात्मक सुरक्षा ऑडिटिंग फ्रेमवर्क है जो LLM एजेंट स्किल मार्केटप्लेसेस में सिमेंटिक-बिहेवियरल विसंगतियों और कॉम्बिनेटोरियल जोखिमों को संबोधित करता है, और बड़े पैमाने पर मूल्यांकन के माध्यम से यह प्रकट करता है कि उच्च लोकप्रियता सुरक्षा की गारंटी नहीं देती है और व्यवस्थित कैस्केड जोखिम एक विशाल कनेक्टेड कंपोनेंट (giant connected component) का निर्माण करते हैं।
यह शोध पत्र Sol2Vy को प्रस्तुत करता है, जो एक नवीन ढांचा (framework) है जो विशेष रूप से सॉलिडिटी (Solidity) पर प्रशिक्षित मॉडलों से ज्ञान स्थानांतरित करके कम-संसाधन वाले वाइपर (Vyper) स्मार्ट कॉन्ट्रैक्ट्स में ज़ीरो-शॉट भेद्यता (zero-shot vulnerability) का पता लगाने में सक्षम बनाता है, जिससे वाइपर के लेबल वाले डेटासेट की कमी दूर होती है और मौजूदा अत्याधुनिक (state-of-the-art) विधियों से बेहतर प्रदर्शन होता है।
यह शोध पत्र यह प्रदर्शित करने के लिए S&P 2023 हार्डवेयर ट्रोजन डेटासेट का विश्लेषण करता है कि मानक सेल लाइब्रेरी में स्वाभाविक रूप से दृष्टिगत रूप से अविभेद्य तर्क कार्य (logic functions) होते हैं, जो एक RISC-V बैकडोर जैसे गुप्त ट्रोजन्स के निर्माण को सक्षम बनाते हैं और "ट्रोजनइज़ेबिलिटी" (Trojanizability) का मूल्यांकन करने और उससे बचाव करने के लिए नए मेट्रिक्स को आवश्यक बनाते हैं।