cs.CR पेपर | Gist.Science

Zebrafix: Mitigating Memory-Centric Side-Channel Leakage via Interleaving

यह शोध पत्र ज़ेब्राफिक्स (Zebrafix) को प्रस्तुत करता है, जो एक कंपाइलर-आधारित टूल है जो डेटा इंटरलीविंग (data interleaving) का लाभ उठाकर सिफरटेक्स्ट साइड-चैनलों (ciphertext side-channels) और साइलेंट स्टोर्स (silent stores)—जिन्हें मेमोरी-केंद्रित साइड-चैनलों के रूप में एकीकृत किया गया है—दोनों को प्रभावी ढंग से कम करता है, और उच्च व्यावहारिक जटिलता के बावजूद मौजूदा विधियों की तुलना में बेहतर प्रदर्शन प्रदर्शित करता है।

Anna Pätschke, Jan Wichelmann, Thomas Eisenbarth2026-04-22

💻 computer science

Mind the Gap? Not for SVP Hardness under ETH!

यह शोध पत्र पूर्णांक जालक (integer lattice) के एक नवीन ज्यामितीय गुण का लाभ उठाते हुए और $\mathsf{MAXLIN}$ के माध्यम से $\mathsf{3SAT}$ से एक न्यूनीकरण (reduction) का उपयोग करते हुए, यह सिद्ध करता है कि $p \in (2, \infty)$ के लिए अनुमानित क्लोजेस्ट वेक्टर प्रॉब्लम ( $\mathsf{CVP}_p$ ) और शॉर्टेस्ट वेक्टर प्रॉब्लम ( $\mathsf{SVP}_p$ ) को $2^{o(n)}$ समय में हल नहीं किया जा सकता है, जिससे मौलिक लैटिस समस्याओं के लिए नए एक्सपोनेंशियल टाइम हाइपोथेसिस (ETH) हार्डनेस परिणाम स्थापित होते हैं।

Divesh Aggarwal, Rishav Gupta, Aditya Morolia, Chuanqi Zhang2026-04-22

💻 computer science

Enforcing Control Flow Integrity on DeFi Smart Contracts

यह शोध पत्र CrossGuard को प्रस्तुत करता है, जो एक नवीन ऑन-चेन फ्रेमवर्क है जो रनटाइम व्हाइटलिस्टिंग के माध्यम से कंट्रोल फ्लो इंटीग्रिटी को लागू करके DeFi स्मार्ट कॉन्ट्रैक्ट सुरक्षा को बढ़ाता है, जो विशिष्ट एक्सप्लॉइट्स के पूर्व ज्ञान की आवश्यकता के बिना न्यूनतम फाल्स पॉजिटिव और गैस ओवरहेड के साथ 37 ऐतिहासिक हमलों में से 35 को प्रभावी ढंग से रोकता है।

Zhiyang Chen, Sidi Mohamed Beillahi, Pasha Barahimi, Cyrus Minwalla, Han Du, Andreas Veneris, Fan Long2026-04-22

🤖 AI

Benchmarking Misuse Mitigation Against Covert Adversaries

यह शोध पत्र स्टेटफुल डिफेन्सेस (BSD) पाइपलाइन को पेश करता है जो खतरनाक कार्यों को प्रतीत होने वाले सौम्य प्रश्नों में विभाजित करके सुरक्षा फिल्टरों को बायपास करने वाले गुप्त प्रतिकूल हमलों का मूल्यांकन और शमन करता है, यह प्रदर्शित करते हुए कि स्टेटफुल डिफेन्सेस ऐसे दुरुपयोग के विरुद्ध एक प्रभावी जवाबी उपाय हैं।

Davis Brown, Mahdi Sabbaghi, Luze Sun, Alexander Robey, George J. Pappas, Eric Wong, Hamed Hassani2026-04-22

🤖 AI

Prompt to Pwn: Automated Exploit Generation for Smart Contracts

यह शोध पत्र \textsc{ReX} का परिचय देता है, जो एक निष्पादन-आधारित (execution-grounded) ढांचा है जो स्मार्ट कॉन्ट्रैक्ट्स के लिए एंड-टू-एंड एक्सप्लॉइट जनरेशन को स्वचालित करने के लिए LLMs और Foundry स्टैक का लाभ उठाता है, यह प्रकट करते हुए कि जबकि वर्तमान मॉडल एकल-कॉन्ट्रैक्ट कमजोरियों के लिए नियत प्रूफ-ऑफ-कॉन्सेप्ट (deterministic proofs-of-concept) को प्रभावी ढंग से संश्लेषित कर सकते हैं, वे क्रॉस-कॉन्ट्रैक्ट हमलों के साथ संघर्ष करते हैं और तकनीकी एक्सप्लॉइटेबिलिटी तथा वास्तविक दुनिया के आर्थिक प्रभाव के बीच महत्वपूर्ण अंतराल का सामना करते हैं।

ZeKe Xiao, Qin Wang, Yuekang Li, Shiping Chen2026-04-22

💬 NLP

ContextLeak: Auditing Leakage in Private In-Context Learning Methods

यह शोधपत्र ContextLeak को प्रस्तुत करता है, जो कैनरी इंसर्शन (canary insertion) का उपयोग करके निजी इन-कॉन्टेक्स्ट लर्निंग (In-Context Learning) में सबसे खराब स्थिति वाले सूचना रिसाव (worst-case information leakage) का अनुभवजन्य रूप से ऑडिट करने वाला पहला फ्रेमवर्क है, जिससे यह पता चलता है कि मौजूदा गोपनीयता-संरक्षण विधियाँ अक्सर सुरक्षा और उपयोगिता के बीच संतुलन बनाने में विफल रहती हैं, या तो संवेदनशील डेटा लीक करती हैं या मॉडल के प्रदर्शन को गंभीर रूप से कम कर देती हैं।

Jacob Choi, Shuying Cao, Xingjian Dong, Amin Banayeeanzade, Wang Bill Zhu, Robin Jia, Sai Praneeth Karimireddy2026-04-22

⚛️ quantum physics

Cyber Risk Scoring with QUBO: A Quantum and Hybrid Benchmark Study

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

Remo Marini, Riccardo Arpe2026-04-22

💻 computer science

Multi-user Pufferfish Privacy

यह शोध पत्र उपयोगकर्ता गतिकी (user dynamics) के तहत पफ़रफिश गोपनीयता (Pufferfish privacy) और व्यक्तिगत अविभेद्यता (individual indistinguishability) प्राप्त करने के लिए मल्टी-यूज़र एग्रीगेटेड क्वेरीज़ में लाप्लास शोर (Laplace noise) को कैलिब्रेट करने हेतु पर्याप्त स्थितियों को व्युत्पन्न करता है, जो कांतोरोविच पद्धति (Kantorovich method) का उपयोग करता है और यह प्रदर्शित करता है कि बाइनरी वेरिएबल्स के लिए, डेटा उपयोगिता में सुधार करने के लिए इन स्थितियों को शिथिल किया जा सकता है।

Ni Ding, Songpei Lu, Wenjing Yang, Zijian Zhang2026-04-22

💻 computer science

Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification

यह शोध पत्र ACE को प्रस्तुत करता है, जो एक नवीन वोटिंग प्रोटोकॉल है जो एक गोपनीयता-संरक्षण एकत्रीकरण तंत्र (privacy-preserving aggregation mechanism) और एक "ऑडिट-ऑर-कास्ट" (Audit-or-Cast) चुनौती एवं टैली-साइड री-रैंडमाइजेशन (tallier-side re-randomization) को संयोजित करके अविश्वसनीय क्लाइंट धारणाओं के तहत एंड-टू-एंड सत्यापन क्षमता, सार्वजनिक गणना-छिपाव (public tally-hiding), और सुदृढ़ रसीद-मुक्तता (strong receipt-freeness) प्राप्त करता है।

Aman Rojjha, Gaurang Tandon, Varul Srivastava, Kannan Srinathan2026-04-22

💻 computer science

HadAgent: Harness-Aware Decentralized Agentic AI Serving with Proof-of-Inference Blockchain Consensus

HadAgent एक विकेंद्रीकृत एजेंटिक AI सर्विंग सिस्टम है जो ऊर्जा-गहन Proof-of-Work को Proof-of-Inference सर्वसम्मति तंत्र से बदल देता है, जो LLM इन्फरेंस कार्यों को कुशलतापूर्वक मान्य करने के लिए एक तीन-लेन ब्लॉक संरचना और एक स्वचालित हार्नेस लेयर के साथ एक दो-स्तरीय नोड आर्किटेक्चर का उपयोग करता है, जबकि छेड़छाड़ का पता लगाने और ट्रस्ट प्रबंधन को सुनिश्चित करता है।

Landy Jimenez, Mariah Weatherspoon, Bingyu Shen, Yi Sheng, Jianming Liu, Boyang Li2026-04-22

← पिछला अगला →