近日，第三屆中國研究生網(wǎng)絡(luò)安全創(chuàng)新大賽在武漢落下帷幕。本屆大賽以“守衛(wèi)網(wǎng)絡(luò)安全，培育網(wǎng)安人才”為主題，共吸引了來自復(fù)旦大學(xué)、浙江大學(xué)、武漢大學(xué)等全國198所高校及科研院所的754支隊(duì)伍、2544名研究生學(xué)子報(bào)名參賽。我校網(wǎng)絡(luò)空間安全學(xué)院研究生范偉豪、王斌斌、程夢(mèng)妮、黃璇榮獲揭榜挑戰(zhàn)賽全國一等獎(jiǎng)，并以該賽道第一名成績斬獲“網(wǎng)安之星”稱號(hào)，實(shí)現(xiàn)學(xué)校在該賽事中的突破；指導(dǎo)教師胡偉教授獲“優(yōu)秀指導(dǎo)教師”獎(jiǎng)；我校被評(píng)為“優(yōu)秀組織單位”。
參賽作品
名稱：FormalNode芯片漏洞檢測(cè)工具
團(tuán)隊(duì)成員：范偉豪、王斌斌、程夢(mèng)妮、黃璇
指導(dǎo)教師：胡偉
網(wǎng)絡(luò)空間安全和集成電路是國家重點(diǎn)發(fā)展戰(zhàn)略。芯片安全屬于兩大戰(zhàn)略的交叉領(lǐng)域，是備受關(guān)注的熱點(diǎn)前沿方向。芯片作為計(jì)算系統(tǒng)的硬件核心和網(wǎng)絡(luò)空間的物理根基，其安全性對(duì)網(wǎng)絡(luò)空間上層建筑的安全性至關(guān)重要。
近年，網(wǎng)絡(luò)攻擊已經(jīng)蔓延至硬件層面，專用裝備、基礎(chǔ)設(shè)施和個(gè)人計(jì)算設(shè)備中芯片安全問題頻發(fā)，對(duì)網(wǎng)絡(luò)空間安全造成了嚴(yán)重威脅。芯片安全漏洞檢測(cè)是一項(xiàng)極具挑戰(zhàn)性的研究課題。研究有效的芯片設(shè)計(jì)安全漏洞檢測(cè)方法及工具有助于及早發(fā)現(xiàn)潛在的安全隱患，避免芯片重新設(shè)計(jì)加工導(dǎo)致的高額成本，以及芯片安全漏洞攻擊導(dǎo)致的嚴(yán)重?fù)p失，具有重要的理論和實(shí)用價(jià)值。
參賽團(tuán)隊(duì)研發(fā)的FormalNode芯片漏洞檢測(cè)工具，提出了基于安全路徑驗(yàn)證的漏洞檢測(cè)方案，在芯片設(shè)計(jì)早期即可發(fā)現(xiàn)安全風(fēng)險(xiǎn)路徑，檢測(cè)出芯片中潛藏的設(shè)計(jì)安全缺陷、側(cè)信道、木馬、后門等多種漏洞。該作品有助于提升芯片設(shè)計(jì)的安全性，筑牢網(wǎng)絡(luò)安全的硬件根基。
“這是團(tuán)隊(duì)對(duì)前沿技術(shù)的一次深入探索和創(chuàng)新實(shí)踐，從最初的概念設(shè)計(jì)到最終的落地成型，每一步都凝聚了大家的智慧與努力。團(tuán)隊(duì)在胡老師的帶領(lǐng)下不斷挑戰(zhàn)自我，最終使得芯片漏洞檢測(cè)工具兼具創(chuàng)新性和實(shí)用性。未來，我們將繼續(xù)深耕這一領(lǐng)域，秉持追求卓越、創(chuàng)新進(jìn)取精神，為網(wǎng)絡(luò)安全發(fā)展貢獻(xiàn)力量！”團(tuán)隊(duì)們一致表示，將不斷求真探索，為芯片安全領(lǐng)域貢獻(xiàn)西工大網(wǎng)安學(xué)子力量。
中國研究生網(wǎng)絡(luò)安全創(chuàng)新大賽作為中國研究生創(chuàng)新實(shí)踐系列大賽主題賽事之一，是面向全國在讀研究生的一項(xiàng)團(tuán)體性網(wǎng)絡(luò)空間安全相關(guān)專業(yè)創(chuàng)新實(shí)踐活動(dòng)。大賽以“匯聚專業(yè)英才 共建網(wǎng)絡(luò)安全”為理念，以國家戰(zhàn)略需求為導(dǎo)向，以行業(yè)企業(yè)參與為支撐，以提高研究生的創(chuàng)新能力和實(shí)踐能力為核心，從“產(chǎn)教融合”“科教融合”“賽教融合”等維度設(shè)立揭榜挑戰(zhàn)賽、創(chuàng)意作品賽和實(shí)網(wǎng)對(duì)抗賽三個(gè)賽道，重點(diǎn)鍛煉研究生的科學(xué)創(chuàng)新能力和工程實(shí)踐能力，為國家培養(yǎng)、選拔和儲(chǔ)備一批急需的高精尖網(wǎng)絡(luò)安全人才。
2024年，網(wǎng)絡(luò)空間安全學(xué)院入選國家一流網(wǎng)絡(luò)安全學(xué)院建設(shè)示范項(xiàng)目，在學(xué)?！翱値熡宋幕币I(lǐng)下，積淀出“厚基礎(chǔ)、強(qiáng)系統(tǒng)、重實(shí)踐、拓交叉“的人才培養(yǎng)特色，下一步將繼續(xù)堅(jiān)持培養(yǎng)忠誠愛國的網(wǎng)絡(luò)安全實(shí)戰(zhàn)和創(chuàng)新型人才，以高質(zhì)量內(nèi)涵式發(fā)展更好服務(wù)于國家網(wǎng)絡(luò)強(qiáng)國戰(zhàn)略，捍衛(wèi)國家網(wǎng)絡(luò)空間安全。
指導(dǎo)教師：
胡偉，網(wǎng)絡(luò)空間安全學(xué)院教授，國家級(jí)青年人才。主持國家重點(diǎn)研發(fā)課題和國家自然科學(xué)基金重點(diǎn)項(xiàng)目等10余項(xiàng)，獲陜西高等學(xué)?？茖W(xué)技術(shù)研究優(yōu)秀成果特等獎(jiǎng)等省部級(jí)科研獎(jiǎng)勵(lì)3項(xiàng)。挖掘出國內(nèi)首個(gè)RISC-V處理器可遠(yuǎn)程利用中危漏洞，受人民網(wǎng)等媒體報(bào)道。指導(dǎo)的學(xué)生獲相關(guān)學(xué)科競(jìng)賽國家一等獎(jiǎng)4項(xiàng)、“互聯(lián)網(wǎng)+”省金1項(xiàng)、優(yōu)秀本科畢業(yè)設(shè)計(jì)論文6項(xiàng)、優(yōu)秀碩士論文2項(xiàng)，入選學(xué)校2023年度本科最滿意教師。
（文案：邰瑜，范偉豪；圖片：大賽主辦方；審核：杜瑤 馬西平）
