Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries
यह शोध पत्र यह प्रदर्शित करने के लिए S&P 2023 हार्डवेयर ट्रोजन डेटासेट का विश्लेषण करता है कि मानक सेल लाइब्रेरी में स्वाभाविक रूप से दृष्टिगत रूप से अविभेद्य तर्क कार्य (logic functions) होते हैं, जो एक RISC-V बैकडोर जैसे गुप्त ट्रोजन्स के निर्माण को सक्षम बनाते हैं और "ट्रोजनइज़ेबिलिटी" (Trojanizability) का मूल्यांकन करने और उससे बचाव करने के लिए नए मेट्रिक्स को आवश्यक बनाते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक बिल्कुल नया, उच्च-सुरक्षा वाला सेफ (तिजोरी) खरीद रहे हैं। आप पूरी तरह आश्वत होना चाहते हैं कि किसी ने भी इसके अंदर के लॉक मैकेनिज्म के साथ छेड़छाड़ नहीं की है। आप उस सेफ को एक विशेष लैब में भेजते हैं जो इसके अंदर के लॉक की अविश्वसनीय रूप से उच्च-रिज़ॉल्यूशन वाली तस्वीरें लेता है, ताकि यह देखा जा सके कि कहीं कोई बारीक खरोंच या अतिरिक्त हिस्से तो नहीं हैं जो वहां नहीं होने चाहिए।
यह शोध पत्र उन तस्वीरों के संबंध में एक डरावनी खोज के बारे में है। शोधकर्ताओं ने पाया कि आधुनिक, अत्यंत सूक्ष्म कंप्यूटर चिप्स में, कुछ अलग-अलग लॉक तस्वीरों में बिल्कुल एक जैसे दिखते हैं।
इस शोध पत्र का सरल उपमाओं (analogies) के साथ विवरण यहाँ दिया गया है:
1. समस्या: "एक जैसे दिखने वाले" जुड़वा (The "Look-Alike" Twins)
कंप्यूटर चिप्स की दुनिया में, सब कुछ स्टैंडर्ड सेल्स (Standard Cells) नामक छोटे बिल्डिंग ब्लॉक्स से बना होता है। इन्हें लेगो (Lego) ब्रिक्स की तरह समझें।
- कुछ ब्रिक्स "AND" गेट के लिए होते हैं (वे तभी काम करते हैं जब दो स्विच चालू हों)।
- कुछ "OR" गेट के लिए होते हैं (वे काम करते हैं यदि या तो एक स्विच चालू हो)।
- कुछ "NOT" गेट होते हैं (वे एक स्विच को पलट देते हैं: ऑन से ऑफ)।
आमतौर पर, एक "AND" ब्रिक एक "OR" ब्रिक से अलग दिखता है। लेकिन शोधकर्ताओं ने पाया कि सबसे छोटी, सबसे उन्नत चिप्स (जैसे 28nm आकार वाली) में, ऐसे जोड़ों के ब्रिक्स मौजूद हैं जो कार्यात्मक रूप से भिन्न हैं (वे अलग गणित करते हैं) लेकिन माइक्रोस्कोप के नीचे दृश्य रूप से समान हैं।
उपमा: कल्पना कीजिए कि आपके पास एक लाल ईंट और एक नीली ईंट है। पुराने समय में, आप उन्हें आसानी से पहचान सकते थे। लेकिन इस नई, अति-सूक्ष्म दुनिया में, लाल ईंट और नीली ईंट दोनों पर बिल्कुल एक जैसा पैटर्न पेंट किया गया है। यदि कोई जासूस लाल ईंट को नीली ईंट से बदल देता है, तो आप फोटो देखते हैं और कहते हैं, "बिल्कुल सही लग रहा है!" लेकिन मशीन अब "लाल" के बजाय "नीला" समझ रही है।
2. "अदृश्य उलटाव" (The "Invisible Inversion")
शोध पत्र इन एक जैसे दिखने वाले ब्रिक्स को "इनविजिबल इन्वर्जन" (Invisible Inversions) कहता है।
- चालaki: एक बुरा व्यक्ति (हैकर) एक सामान्य लॉजिक गेट को उसके "विपरीत" (जैसे "हाँ" बटन को "ना" बटन से बदलना) से बदल देता है।
- परिणाम: क्योंकि दोनों बटन फोटो में एक जैसे दिखते हैं, सुरक्षा जांच सफल हो जाती है। लेकिन कंप्यूटर का व्यवहार पूरी तरह से बदल जाता है।
- वास्तविक दुनिया का प्रभाव: शोधकर्ताओं ने एक RISC-V प्रोसेसर (एक प्रकार का कंप्यूटर मस्तिष्क) में एक नकली "बैकडोर" बनाया। केवल इन अदृश्य ब्रिक्स को बदलकर, उन्होंने एक गुप्त स्विच बनाया जिसने किसी को भी कंप्यूटर का "एडमिन" बनने और सभी सुरक्षा जांचों को बायपास करने की अनुमति दी। यह एक "गेस्ट" चाबी को "मास्टर" चाबी से बदलने जैसा था, लेकिन चाबियाँ फोटो में बिल्कुल एक जैसी दिख रही थीं।
3. यह क्यों हुआ?
शोधकर्ताओं ने 2023 के चिप फोटो के एक प्रसिद्ध डेटासेट की जांच की। वे जानना चाहते थे कि: क्या ट्रोजन (Trojans) को ढूंढना इसलिए कठिन है क्योंकि फोटो धुंधली हैं, या इसलिए क्योंकि चिप्स को खराब तरीके से डिजाइन किया गया है?
- पुरानी थ्योरी: "शायद फोटो बहुत दानेदार (grainy) हैं जिससे सूक्ष्म अंतर दिखाई नहीं दे रहे।"
- नई खोज: "नहीं, भले ही फोटो एकदम स्पष्ट हों, कुछ ब्रिक्स स्वाभाविक रूप से अविभेद्य (indistinguishable) हैं।"
- रुझान: जैसे-जैसे चिप छोटी होती जाती है (90nm से 28nm तक), ये "एक जैसे दिखने वाले जुड़वा" अधिक दिखाई देने लगते हैं। यह एक जैसे कपड़े पहने दो जुड़वा बच्चों के बीच अंतर करने जैसा है; जैसे-जैसे कपड़े छोटे और अधिक विस्तृत होते जाते हैं, केवल देखकर उन्हें पहचानना असंभव हो जाता है।
4. समाधान: "खराब" ब्रिक्स का उपयोग न करें
अच्छी खबर यह है कि इसे ठीक करना वास्तव में आसान है, हालांकि इसके लिए चिप डिजाइन करने के तरीके में बदलाव की आवश्यकता है।
- सुधार: एक सुरक्षित चिप बनाने से पहले, डिजाइनरों को एक "चेकलिस्ट" चलानी चाहिए कि कौन से ब्रिक्स एक-दूसरे के बहुत समान दिखते हैं।
- कार्रवाई: वे बस अपने कंप्यूटर डिजाइन सॉफ्टवेयर को निर्देश देते हैं: "इस प्रोजेक्ट में ब्रिक टाइप A या ब्रिक टाइप B का उपयोग न करें।"
- लागत: इसमें लगभग कुछ भी खर्च नहीं होता है। यह एक बिल्डर को यह बताने जैसा है कि, "इन विशिष्ट दो प्रकार के ईंटों का उपयोग न करें," और इसके बजाय एक थोड़ा अलग, सुरक्षित जोड़ी का उपयोग करें। गति या आकार में लागत नगण्य (1% से कम) है।
5. मुख्य निष्कर्ष (The Big Takeaway)
यह शोध पत्र हमें चेतावनी देता है कि हम अब हर हार्डवेयर हैकर को पकड़ने के लिए केवल फोटो लेने पर भरोसा नहीं कर सकते।
यदि कोई चिप ऐसे स्टैंडर्ड पार्ट्स का उपयोग करके डिजाइन की गई है जिनमें "अदृश्य जुड़वां" मौजूद हैं, तो एक हैकर उन्हें बदल सकता है, और कोई भी बेहतर कैमरा इसे पकड़ नहीं पाएगा। समाधान केवल बेहतर माइक्रोस्कोप नहीं है; बल्कि बेहतर डिजाइन नियम हैं। चिप निर्माताओं को यह सुनिश्चित करने की आवश्यकता है कि उनके द्वारा बनाए गए प्रत्येक प्रकार के ब्रिक दूसरे से स्पष्ट रूप से अलग दिखें, ताकि उन्हें बदलना हमेशा स्पष्ट रूप से दिखाई दे।
संक्षेप में: शोध पत्र कहता है, "हमने पाया है कि कुछ कंप्यूटर पार्ट्स इतने समान हैं कि वे हमारे सर्वश्रेष्ठ कैमरों के लिए भी अदृश्य हैं। हैकर्स इसका उपयोग बैकडोर डालने के लिए कर सकते हैं। समाधान उन भ्रमित करने वाले हिस्सों का उपयोग करना बंद करना है।"
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।