軟件工程專題：基于區(qū)塊鏈的典型軟件漏洞的挖掘與利用研究 以抵御eclipse等網(wǎng)絡(luò)攻擊的方法優(yōu)化為例【大學(xué)組】

專業(yè)：計算機(jī)科學(xué)

項目類型：國外小組科研

開始時間：2025年01月11日

是否可加論文：是

項目周期：7周在線小組科研學(xué)習(xí)+5周不限時論文指導(dǎo)學(xué)習(xí)

語言：英文

有無剩余名額：名額充足

建議學(xué)生年級：大學(xué)生

是否必需面試：否

適合專業(yè)：網(wǎng)絡(luò)與信息安全軟件工程風(fēng)險管理網(wǎng)絡(luò)安全金融風(fēng)險

地點：無

建議選修：數(shù)據(jù)結(jié)構(gòu)與算法設(shè)計

建議具備的基礎(chǔ)：軟件工程、軟件安全、計算機(jī)科學(xué)、人工智能專業(yè)或?qū)ι鲜鰧I(yè)感興趣的學(xué)生； 學(xué)生需要具備微積分、線性代數(shù)、solidity編程基礎(chǔ)，無solidity編程基礎(chǔ)的學(xué)生可從Javascript開始學(xué)習(xí)；

產(chǎn)出：7周在線小組科研學(xué)習(xí)+5周不限時論文指導(dǎo)學(xué)習(xí) 共125課時 項目報告 優(yōu)秀學(xué)員獲主導(dǎo)師Reference Letter EI/CPCI/Scopus/ProQuest/Crossref/EBSCO或同等級別索引國際會議全文投遞與發(fā)表指導(dǎo)（可用于申請） 結(jié)業(yè)證書 成績單

項目背景：人工智能正在為人機(jī)交互帶來巨大的推動作用。目前，人工智能是從感知智能向認(rèn)知智能發(fā)展。例如：機(jī)器可以進(jìn)行自主學(xué)習(xí)且變得更為智能嗎？我們可以輸入指令讓電腦執(zhí)行日常任務(wù)：比如開車嗎？現(xiàn)如今，機(jī)器學(xué)習(xí)無處不在，它正在深刻地改變我們的社會。人工智能與機(jī)器學(xué)習(xí)，即使不使用解決方案邏輯編寫明確的程序，也可以解決實際生活中的許多問題。當(dāng)我們嘗試通過互聯(lián)網(wǎng)使用信用卡購買商品時會發(fā)生什么？我們?nèi)绾未_保網(wǎng)上銀行系統(tǒng)的安全性？我們可以設(shè)計一個不能被破解的密碼嗎？

項目介紹：本課題將會系統(tǒng)探索軟件工程與網(wǎng)絡(luò)安全之間的相互作用。在我們的日常生活中，這一領(lǐng)域也起著越來越重要的作用。近些年來，密碼學(xué)的應(yīng)用范圍從金融應(yīng)用程序到軍事領(lǐng)域，再到比特幣，甚至在保護(hù)日常的應(yīng)用程序（如微信和WhatsApp）的安全方面等。本課題將面向?qū)W生介紹1. Introduction to Blockchains密碼學(xué)和區(qū)塊鏈等非常熱門, 并且正在蓬勃發(fā)展的主題。同時，本課題還將全面介紹區(qū)塊鏈的本質(zhì)和技術(shù)，最著名的加密貨幣比特幣背后的原理與運作機(jī)制，加密貨幣的算法原理，區(qū)塊鏈技術(shù)的集成應(yīng)用如何在新的技術(shù)革新和產(chǎn)業(yè)變革中起著重要作用，以及區(qū)塊鏈的現(xiàn)狀及應(yīng)用中的問題。

This course gives an introduction to cryptocurrencies, blockchains, and smart contracts. It begins by covering the history of financial systems, which lead to digital currencies and ledgers. It then explains the principles of cryptocurrencies by using the Bitcoin blockchain as an example. Students learn about the cryptographic techniques that underpin the Bitcoin blockchain and how the blockchain reaches consensus through block mining. After that, the course covers a more advanced blockchain that supports smart contracts, namely the Ethereum blockchain. We discuss how Ethereum manages the blockchain, handles transactions, and supports smart contracts in the Solidity programming languages. Finally, the course focuses on the security of blockchains and cryptocurrencies. Here we discuss different types of attacks (denial-of-service attacks, double-spending attacks, Eclipse attacks) and challenges related to smart contract security.

項目大綱：區(qū)塊鏈介紹 Introduction to Blockchains 加密貨幣：比特幣 Cryptocurrencies: Bitcoin 智能合約：以太坊 Smart Contracts: Ethereum 區(qū)塊鏈攻擊與安全 Blockchain Attacks and Security 學(xué)術(shù)研討1：教授與各組學(xué)生探討并評估個性化研究課題可行性，幫助學(xué)生明晰后續(xù)科研思路 Final Project Preparation Session I 學(xué)術(shù)研討2：學(xué)生將在本周課前完成程序設(shè)計原型（prototype）及偽代碼（Pseudocode），教授將根據(jù)各組進(jìn)度進(jìn)行個性化指導(dǎo)，確保學(xué)生優(yōu)質(zhì)的終期課題產(chǎn)出 Final Project Preparation Session II 項目成果展示 Final Presentation