Integration of a maze shield into digital asic design flow for hardware attack resistant ICs
Labirent tabanlı kalkan tasarımlarının donanımsal saldırılara dayanıklı entegre devreler için olan çip akışına eklenmesi
- Tez No: 882881
- Danışmanlar: DR. ÖĞR. ÜYESİ İSMAİL FAİK BAŞKAYA
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2024
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 52
Özet
Günümüzde otomotivden bankacılığa kadar pek çok sektörde entegre devrelerin kritik verileri saklaması ve işlemesi kaçınılmaz hale gelmiştir. Yazılım güvenliği güç kazandıkça, saldırganlar direkt olarak bu entegre devreleri içeren çiplere fiziksel yöntem-ler ile saldırı yapmaya başlamışlardır. Bunlardan şu an en bilinenleri Mikroprobe ve Odaklanmış İyon Işını kullanılarak yapılan saldırılardır. Bu saldırıda amaç, ̧cipin dış katmanlarını iyon ışını ile oyup içerideki verilere mikroprobe ile dokunarak, herhangi yazılımsal bir sisteme ihtiyaç duymadan, ̧cipin içinde akan sinyallere erişmektir. Bu tezin amacı Mikroprobe ve Odaklanmış Iyon Işını ile yapılacak olan saldırılara dayanıklı bir çip üretebilmek için gerekli olan tüm aşamaları içeren bir akışı geliştirmek ve 65nm TSMC LP teknolojisi üzerinde uygulamaktır. Çalışma ilk olarak kritik verilerin çip üzerinde bulunduğu bölgeyi koruyabilmek için otomatik kalkan üretmeyi ve üretilen kalkanın zaman içinde saldırıya uğrayıp uğramadığını tespit edecek kontrol devresini ve bu devrenin kalkan ile bağlantısını içerir. Üretilen kalkanın kolay bir ̧sekilde takip edilmesini engellemek için karmaşık bir labirent algoritması olan AFSA baz alınmıstır. Üretilen labirent, labirenti kalkan yapısına dönüştüren bir fonksiyon tarafından etrafı taranarak Hamiltonian döngüye dönüştürülür. Üretilen kalkan, 3 boyutlu görsel fonksiyonu sayesinde incelenebilir hale getirilir. Bu fonksiyon sayesinde üretilen labirentin karmaşıklığı ve doğruluğu kontrol edilir. Üretilen kalkan, sayısal tasarım araçlarının anlayabileceği bir dil olan LEF dosya formatına dönüştürülür. Dönüştürülen kalkan, kontrol devresi ve korunacak devre ile beraber sayısal ̧cip tasarım akışından geçirilir. Akış sonunda üretime hazır güvenli ̧cip oluşturulmuş olur. Aynı zamanda tasarlanmış olan çip başarılı bir şekilde üretim için gönderilmiştir.
Özet (Çeviri)
With the increasing use of Integrated Circuits (ICs) in various sectors such as automotive and banking, it has become inevitable to use them for storing critical data. As software security has strengthened, attackers have shifted to direct physical attacks on chips. One such attack involves using Microprobes and Focused Ion Beam (FIB) for structured intrusion. In this type of attack, the goal is to mill the outer layers of the chip with an ion beam and touch the internal data with a microprobe, gaining access to the signals inside the chip without the need for any software-based system. The objective of this thesis is to develop a flow that implements all the stages required to produce a chip resilient to attacks using Microprobes and Focused Ion Beams. The chip to be produced, containing critical information, will have a shield structure above the location of critical data and a control circuit below to detect any external attacks on the shield. The first step involves creating the shield to be placed on the chip. To prevent easy tracking of the generated shield, a complex maze algorithm called AFSA is employed. The generated maze is traversed by a function that converts the maze into a Hamiltonian cycle, transforming it into a shield structure. The produced shield is made examinable through a 3D visualization function. This function is used to check the complexity and accuracy of the generated maze. The generated shield is then transformed into the Library Exchange Format (LEF) file format, a language understood by digital design tools. The converted shield, along with the control circuit and the circuit to be protected, undergoes the digital chip design flow. At the end of the flow, a production-ready secure chip is created and sent for tape-out.
Benzer Tezler
- A Behavior-based design for purposeful navigation and map construction
Amaçlı gezinim ve harita oluşturulması için davranış-tabanlı bir tasarım
ÖZGÜR ALAN
Yüksek Lisans
İngilizce
2002
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. FERDA NUR ALPASLAN
- Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation
Üst-seviye nedensel akıl-yürütmenin alt-seviye geometrik akıl-yürütme ve hareket planlama ile robotik manipülasyon için kaynaştırılması
CAN PALAZ
Yüksek Lisans
İngilizce
2011
Mühendislik BilimleriSabancı ÜniversitesiMühendislik Bilimleri Ana Bilim Dalı
YRD. DOÇ. DR. ESRA ERDEM
YRD. DOÇ. DR. VOLKAN PATOĞLU
- XIX. yüzyılda Kilis şehri'nin coğrafi özellikleri
XIX. century city of geography Kilis
ÖMER FARUK İNCİLİ
Yüksek Lisans
Türkçe
2013
CoğrafyaFırat ÜniversitesiCoğrafya Ana Bilim Dalı
YRD. DOÇ. DR. İ. OĞUZ AKDEMİR
- Deneysel status epileptikusta midazolam ve klonazepamin ikinci basamak tedavide kullanılan antiepileptik ilaçlarla etkileşimi
Interaction of midazolam and clonazepam with the antiepileptic drugs used in second-line treatment in experimental status epilepticus
CUMAALİ DEMİRTAŞ
Doktora
Türkçe
2022
FizyolojiSağlık Bilimleri ÜniversitesiFizyoloji Ana Bilim Dalı
PROF. DR. MEHMET YILDIRIM
- Quinpirol ile oluşturulan fare obsesif kompulsif bozukluk modelinde valproik asidin terapotik etkinliğinin nörotransmitter ağ ve TRPC3/6 sinyalizasyonu üzerinden araştırılması
Investigation of the therapeutic efficacy of valproic acid on neurotransmitter network and TRPC 3/6 signaling in a quinpirrole-induced mouse model of obsessive compulsive disorder
MUSTAFA SEZER BULAN
Yüksek Lisans
Türkçe
2024
Moleküler TıpFırat ÜniversitesiTıbbi Biyoloji Ana Bilim Dalı
PROF. DR. EBRU ÖNALAN