cs.CR पेपर | Gist.Science

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators

यह शोध पत्र एक स्केलेबल चार-चरणीय सत्यापन पदानुक्रम (four-stage verification hierarchy) प्रस्तुत करता है जो प्रोडक्शन-स्केल पोस्ट-क्वांटम क्रिप्टोग्राफिक एक्सेलेरेटर्स के लिए साउंड फर्स्ट-ऑर्डर मास्किंग विश्लेषण का विस्तार करता है, जिसने सफलतापूर्वक 1.17-मिलियन-सेल ML-KEM/ML-DSA चिप के लिए मैनुअल समीक्षा की आवश्यकताओं को सैकड़ों स्ट्रक्चरल फ्लैग्स से घटाकर 165 गणितीय रूप से प्रमाणित उम्मीदवारों तक सीमित कर दिया है।

Ray Iskander, Khaled Kirah2026-04-17

🔢 mathematics

A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions

यह शोध पत्र क्रिप्टोग्राफिक एल्गोरिदम के लिए एक नवीन, संक्षिप्त QUBO एन्कोडिंग पद्धति प्रस्तुत करता है जो पिछले दृष्टिकोणों की तुलना में तार्किक चरों (logical variables) और गुणांकों के परिमाणों की संख्या को काफी कम कर देता है, जिससे भविष्य के क्वांटम एनेलरों (quantum annealers) के प्रति AES-256 जैसे सिस्टम की संवेदनशीलता बढ़ जाती है।

Gregory Morse, Tamás Kozsik, Oskar Mencer, Peter Rakyta2026-04-16

💻 computer science

Automated Profile Inference with Language Model Agents

यह शोध पत्र "AutoProfiler" का परिचय देता है, जो सहयोगी LLM एजेंटों का एक ऐसा ढांचा है जो छद्म नाम वाले प्लेटफार्मों पर सार्वजनिक उपयोगकर्ता गतिविधियों से संवेदनशील व्यक्तिगत गुणों को प्रभावी ढंग से निकालकर स्वचालित प्रोफाइल अनुमान के महत्वपूर्ण गोपनीयता खतरे को प्रदर्शित करता है, और साथ ही इस उभरते जोखिम को संबोधित करने के लिए शमन रणनीतियों का प्रस्ताव भी करता है।

Yuntao Du, Zitao Li, Bolin Ding, Yaliang Li, Hanshen Xiao, Jingren Zhou, Ninghui Li2026-04-16

📊 statistics

Random Walk Learning and the Pac-Man Attack

यह शोध पत्र "पैक-मैन" (Pac-Man) हमले को प्रस्तुत करता है, जो एक गुप्त प्रतिकूल रणनीति है जो विकेंद्रीकृत शिक्षण में रैंडम वॉक को समाप्त कर देती है, और इस खतरे का मुकाबला करने के लिए "एवरेज क्रॉसिंग" (Average Crossing) एल्गोरिदम का प्रस्ताव करता है, जो वॉक को दोहराकर सिस्टम की स्थिरता और अभिसरण सुनिश्चित करता है और विलुप्ति की संभावना में एक चरण संक्रमण (phase transition) को प्रकट करता है।

Xingran Chen, Parimal Parag, Rohit Bhagat, Zonghong Liu, Salim El Rouayheb2026-04-16

🤖 AI

Between a Rock and a Hard Place: The Tension Between Ethical Reasoning and Safety Alignment in LLMs

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

Shei Pern Chua, Zhen Leng Thai, Kai Jun Teh, Xiao Li, Qibing Ren, Xiaolin Hu2026-04-16

🤖 AI

Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities

अप्रैल 2026 तक के 103 प्रकाशनों का यह व्यवस्थित समीक्षा (systematic review) यह प्रदर्शित करता है कि न्यूरो-सिंबोलिक एआई (Neuro-Symbolic AI) बेहतर तर्कशक्ति, व्याख्यात्मकता और मल्टी-एजेंट प्रदर्शन के माध्यम से साइबर सुरक्षा क्षमताओं को महत्वपूर्ण रूप से बढ़ाता है, जबकि साथ ही एक जिम्मेदार अनुसंधान रोडमैप प्रस्तावित करने के लिए मानकीकरण में महत्वपूर्ण चुनौतियों और स्वायत्त आक्रामक प्रणालियों के दोहरे उपयोग के जोखिमों को भी रेखांकित करता है।

Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Shouhuai Xu, Houbing Herbert Song2026-04-16

💻 computer science

Post-Quantum Security of Block Cipher Constructions

यह शोध पत्र की-लेंथ एक्सटेंशन स्कीम्स, ट्वीकेबल ब्लॉक साइफर्स, और प्लेन एवं क्वांटम आइडियल साइफर मॉडल्स दोनों पर लागू होने वाली नई तकनीकों का उपयोग करके विभिन्न एन्क्रिप्शन और ऑथेंटिकेशन मोड्स के लिए पहले कठोर सुरक्षा प्रमाण प्रदान करके सिमेट्रिक-की क्रिप्टोग्राफी में पोस्ट-क्वांटम सुरक्षा के लिए सैद्धांतिक आधार स्थापित करता है।

Gorjan Alagic, Chen Bai, Christian Majenz, Kaiyan Shi2026-04-16

💻 computer science

Persistent BitTorrent Trackers

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

François-Xavier Wicht, Zhengwei Tong, Shunfan Zhou, Hang Yin, Aviv Yaish2026-04-16

💻 computer science

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

यह शोध पत्र एक पंक्चर ब्लॉक अराइवल प्रोसेस (punctured block arrival process) के साथ रैंडम वॉक विश्लेषण में हुई एक पिछली त्रुटि को सुधारते हुए, सीमित नेटवर्क विलंब (bounded network delay) के तहत बिटकॉइन प्रोटोकॉल की सुरक्षा का एक कठोर और सरलीकृत प्रमाण प्रस्तुत करता है, जो अंततः यह प्रदर्शित करता है कि प्रोटोकॉल तब तक सुरक्षित रहता है जब तक कि पूर्णतः-विलंबित ईमानदार खनन दर (fully-delayed honest mining rate), विरोधी की दर से अधिक हो।

Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu2026-04-16

🤖 AI

In-Context Autonomous Network Incident Response: An End-to-End Large Language Model Agent Approach

यह शोध पत्र एक एंड-टू-एंड, लाइटवेट एलएलएम (LLM) एजेंट प्रस्तावित करता है जो बिना किसी हस्तनिर्मित सिम्युलेटर की आवश्यकता के, नेटवर्क घटना प्रतिक्रिया (network incident response) में स्वायत्त रूप से प्रत्यक्ष करने, तर्क करने, योजना बनाने और कार्य करने के लिए इन-कॉन्टेक्स्ट लर्निंग और चेन-ऑफ-थॉट रीजनिंग का लाभ उठाता है, जिससे फ्रंटियर मॉडल्स की तुलना में 23% तक तेज़ रिकवरी प्राप्त होती है।

Yiran Gao, Kim Hammar, Tao Li2026-04-16

← पिछला अगला →