Acest modul de instruire dezvoltat de Politecnico di Milano oferă o introducere cuprinzătoare în securitatea și încrederea hardware-ului, concentrându-se pe amenințările care apar pe parcursul proiectării, fabricării și implementării circuitelor și sistemelor integrate.
Context
Hardware-ul este rădăcina încrederii în sistemele moderne de calcul. Pe măsură ce circuitele integrate devin din ce în ce mai complexe și distribuite la nivel global, asigurarea integrității și autenticității acestora a devenit o provocare majoră. Lanțurile de aprovizionare globalizate, producția nesigură și adversarii sofisticați au introdus noi forme de vulnerabilități care nu pot fi abordate doar prin software. Prin urmare, inginerii și cercetătorii trebuie să adopte principii de securitate din faza de proiectare la nivel hardware.
Despre acest curs
Acest curs echipează cursanții cu cunoștințele și tehnicile esențiale pentru a înțelege, modela și atenua amenințările hardware, pregătindu-i să proiecteze sisteme rezistente și de încredere atât în contexte academice, cât și industriale. Acesta explorează principalele categorii de atacuri hardware (inclusiv contrafacerea, troienii hardware, atacurile de execuție tranzitorie, atacurile de eroare și atacurile pe canale laterale). Prezintă metode de ultimă generație pentru a le preveni, detecta și tolera. Prin conținut teoretic și practic, cursanții vor învăța să încorporeze încrederea și reziliența în procesul de proiectare hardware și să înțeleagă modul în care metodologiile conștiente de securitate pot fi integrate pe parcursul întregului ciclu de viață al CI.
Structura modulului de formare
- Introducere în securitatea și încrederea hardware – fundamente, terminologie și modele de amenințări; vulnerabilități în lanțul de aprovizionare al CI; inginerie inversă și contrafacere; taxonomia și detectarea troienilor hardware.
- Atacuri la rulare și microarhitecturale – vulnerabilități de execuție tranzitorie (Spectre, Meltdown); injecția de erori și atacurile de tip „scan-chain”; analiza canalelor laterale de timp, consum și electromagnetice.
- Tehnici de obfuscare a proiectului, monitorizare și apărare la rulare – blocare logică (logic locking) și obfuscare hardware; detectarea anomaliilor în timpul rulării; coobfuscarea; hardware probabilistic și aproximativ pentru reziliență.
- Contramăsuri pentru canale laterale, proiectare pentru încredere și verificare a securității – stiluri logice echilibrate, mascare, injecție de zgomot; principiile „proiectare pentru încredere”; integrarea sigură a lanțului de aprovizionare; verificarea proprietăților de securitate la nivelul RTL și al porții.
- Verificare, validare și metrici avansate – metode formale și validare dinamică; detectarea troienilor hardware; explorarea spațiului de proiectare ținând cont de securitate; evaluarea cantitativă a indicatorilor de securitate și încredere.
Rezultatele învățării
După finalizarea cu succes a acestui modul de formare, cursanții vor putea:
- Înțelegeți conceptele fundamentale și modelele de amenințare în securitatea și încrederea hardware.
- Identificați și analizați riscurile de securitate hardware de-a lungul lanțului de aprovizionare IC.
- Evaluați impactul diferitelor atacuri, inclusiv troieni hardware, execuție tranzitorie, erori și atacuri pe canale laterale.
- Selectați și aplicați contramăsuri adecvate la nivel de proiectare și verificare.
- Integrați metodologiile de securitate și design-for-trust în fluxurile standard de proiectare hardware.
- Proiectați, analizați și evaluați arhitecturi digitale sigure și de încredere.
Detalii suplimentare
Cursul este dezvoltat în cadrul proiectului RESCHIP4EU, susținut de Programul Europa Digitală al Uniunii Europene. RESCHIP4EU își propune să sprijine excelența învățământului superior din UE în ceea ce privește proiectarea sistemelor integrate într-un mod holistic, de la siliciu prin proiectarea și fabricarea de sisteme pe cip până la platforme și software de aplicație inteligente și critice pentru siguranță.
Pe scurt
- Furnizor: Politecnico di Milano, pe platforma de învățare 28DIGITAL, în cadrul proiectului european RESCHIP4EU (Programul Europa Digitală);
- Format: online, în ritm propriu, până la 60 de ore (efort intensiv); nivel intermediar;
- Limba: engleză;
- Cost: gratuit; necesită un cont gratuit pe platforma 28DIGITAL.
Sursă: conținut european preluat și tradus de pe Digital Skills and Jobs Platform.