Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
यह शोध पत्र MaskedHLSVerif प्रस्तुत करता है, जो एक स्टेट-वाइज (state-wise) औपचारिक सत्यापन टूलफ्लो है जिसे हाई-लेवल सिंथेसिस द्वारा जनरेट किए गए मास्क्ड हार्डवेयर की पावर साइड-चैनल सुरक्षा को सटीक रूप से मान्य करने के लिए डिज़ाइन किया गया है, जो प्रभावी रूप से उन रिसोर्स-शेयर्ड कंट्रोलर डेटापाथ आर्किटेक्चर के कारण होने वाले फॉल्स पॉजिटिव्स को समाप्त करता है जो मौजूदा सत्यापन उपकरणों को प्रभावित करते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
मुख्य विचार: एक गुप्त तिजोरी बनाना
कल्पना कीजिए कि आप एक गुप्त रेसिपी (एक क्रिप्टोग्राफिक एल्गोरिदम) को सुरक्षित रखने के लिए एक उच्च-सुरक्षा वाली तिजोरी बना रहे हैं। आप यह सुनिश्चित करना चाहते हैं कि कोई भी यह देखकर रेसिपी न चुरा सके कि तिजोरी काम करते समय कितनी बिजली का उपयोग कर रही है। इसे पावर साइड-चैनल अटैक (Power Side-Channel Attack) कहा जाता है।
इसे रोकने के लिए, आप मास्किंग (Masking) नामक एक तकनीक का उपयोग करते हैं।
- उपमा: पूरी रेसिपी को एक ही जगह रखने के बजाय, आप इसे तीन रैंडम टुकड़ों (शेयर्स) में काट देते हैं। आप एक टुकड़ा व्यक्ति A को, एक व्यक्ति B को और एक व्यक्ति C को देते हैं।
- नियम: जब तक कोई एक समय में एक से अधिक टुकड़े नहीं देख पाता, तब तक रहस्य सुरक्षित रहता है। भले ही कोई जासूस व्यक्ति A के हाथों को देखता रहे, उन्हें केवल कागज का एक रैंडम टुकड़ा दिखाई देगा, रेसिपी नहीं।
समस्या: "फास्ट-फॉरवर्ड" बिल्डर
पारंपरिक रूप से, इन मास्क्ड तिजोरियों को बनाने का काम विशेषज्ञ इंजीनियरों द्वारा हाथ से किया जाता है। यह धीमा, उबाऊ और गलतियाँ होने वाला काम है।
चीजों को तेज करने के लिए, इंजीनियरों ने हाई-लेवल सिंथेसिस (HLS) का उपयोग करना शुरू कर दिया।
- उपमा: HLS को एक सुपर-फास्ट, ऑटोमेटेड कंस्ट्रक्शन रोबोट की तरह समझें। आप इसे एक ब्लूप्रिंट (सॉफ्टवेयर कोड) देते हैं, और यह तुरंत आपके लिए भौतिक तिजोरी (हार्डवेयर) बना देता है। यह बेहतरीन है क्योंकि यह समय बचाता है और आपको विभिन्न डिजाइनों को जल्दी से आज़माने की अनुमति देता है।
लेकिन यहाँ एक पेंच है: यह रोबोट तेजी से और सस्ते में बनाने के लिए बनाया गया था, सुरक्षित बनाने के लिए नहीं।
जगह और समय बचाने के लिए, रोबोट अक्सर अलग-अलग कामों के लिए अलग-अलग समय पर एक ही औजार (जैसे कि एक अकेला हथौड़ा) का पुन: उपयोग करता है। यह एक ऐसा डिज़ाइन बनाता है जहाँ "गुप्त टुकड़ों" को एक कन्वेयर बेल्ट पर इधर-उधर घुमाया जाता है जो केवल विशिष्ट पैटर्न में चलती है।
गलत अलार्म: एक अति-सतर्क इंस्पेक्टर
रोबोट द्वारा तिजोरी बनाने के बाद, आपको एक इंस्पेक्टर की आवश्यकता होती है जो यह जांच सके कि मास्किंग अभी भी काम कर रही है या नहीं।
- पुराना इंस्पेक्टर (REBECCA जैसे टूल्स): यह इंस्पेक्टर बहुत विस्तृत है लेकिन थोड़ा नासमझ है। वे ब्लूप्रिंट देखते हैं और कहते हैं, "हे, यह हथौड़ा सैद्धांतिक रूप से किसी भी समय लकड़ी के किसी भी टुकड़े पर लग सकता है।"
- गलती: क्योंकि रोबोट (HLS) हथौड़े का पुन: उपयोग करता है, इंस्पेक्टर हथौड़े की हर संभव हिट की जांच करता है, भले ही वे मशीन में शारीरिक रूप से असंभव हों।
- परिणाम: इंस्पेक्टर चिल्लाता है, "खतरा! रहस्य लीक हो रहा है!" जबकि वास्तव में, मशीन पूरी तरह से सुरक्षित है। यह वैसा ही है जैसे टोस्ट जलने की वजह से स्मोक डिटेक्टर बज उठे, न कि इसलिए कि घर में आग लगी है।
समाधान: "स्टेट-अवेयर" डिटेक्टिव
लेखकों ने MaskedHLSVerif नामक एक नया टूल बनाया है।
- उपमा: एक अति-सतर्क इंस्पेक्टर के बजाय जो हर असंभव परिदृश्य की कल्पना करता है, यह नया टूल एक स्मार्ट डिटेक्टिव है जो मशीन के शेड्यूल को समझता है।
- यह कैसे काम करता है:
- डिटेक्टिव जानता है कि मशीन स्टेट्स (States) (जैसे डांस रूटीन के स्टेप्स) में काम करती है।
- स्टेप 1 में, हथौड़ा केवल टुकड़े A पर लगता है।
- स्टेप 2 में, हथौड़ा केवल टुकड़े B पर लगता है।
- डिटेक्टिव उस विशिष्ट स्टेप के लिए सुरक्षा की जांच करता है जिसमें वास्तव में टुकड़े टकरा रहे हैं। वे उन असंभव संयोजनों को अनदेखा कर देते (जैसे कि हथौड़े का टुकड़े A और टुकड़े B पर एक ही समय में लगना, जो मशीन शारीरिक रूप से नहीं कर सकती)।
यह क्यों महत्वपूर्ण है
- यह गलत अलार्म को रोकता है: मशीन के शेड्यूल (Finite State Machine) को समझकर, यह टूल बिना वजह चेतावनी देना बंद कर देता है। यह सही ढंग से सत्यापित करता है कि तिजोरी सुरक्षित है, भले ही रोबोट ने डिजाइन बनाने के लिए औजारों का पुन: उपयोग किया हो।
- यह असली बग्स को पकड़ता है: रोबोट परफेक्ट नहीं है। कभी-कभी, कुशल होने की जल्दबाजी में, वह गलती से गुप्त टुकड़ों को इस तरह से व्यवस्थित कर देता है जिससे सुरक्षा टूट जाती है (जैसे कि गणितीय ऑपरेशन्स का पुन: संयोजन करना)। पुराने टूल्स इन्हें मिस कर देते थे क्योंकि वे असंभव परिदृश्यों को देखने में बहुत व्यस्त थे। नया टूल, वास्तविक स्टेप्स को देखकर, इन असली गलतियों को पकड़ सकता है।
संक्षेप में
- लक्ष्य: हार्डवेयर को स्वचालित रूप से सुरक्षित रूप से बनाना।
- समस्या: ऑटोमेटेड बिल्डर्स (HLS) जगह बचाने के लिए पार्ट्स का पुन: उपयोग करते हैं, जिससे पुराने सुरक्षा चेकर भ्रमित हो जाते हैं जिन्हें लगता है कि सब कुछ संभव है, जिससे गलत अलार्म मिलते हैं।
- समाधान: एक नया चेकर जो मशीन के "शेड्यूल" को समझता है। यह केवल उन्हीं हिस्सों की जांच करता है जो किसी भी दिए गए क्षण में वास्तव में सक्रिय होते हैं।
- परिणाम: अब हम भरोसा कर सकते हैं कि ऑटोमेटेड रोबोट द्वारा बनाया गया हार्डवेयर वास्तव में सुरक्षित है, जिससे रहस्यों को सुरक्षित रखते हुए समय और पैसा बचता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।