發展後量子密碼學,開發實務有用的工具與程式庫
使用密碼元件所建構的程式不計其數,而目前多數的函式庫仍未支援,或未 有正確、易用、高效率的密碼系統實作,我們希望能建構一個抗後量子密碼系統的函式庫,例如 post-quantum NaCL library
許多關於密碼學的程式沒有正確實作其數學函數,造成資安漏洞。我們希望能發展驗證實作的相關工具,例如發展工具自動化驗証 post-quantum TLS
現今有許多使用密碼學保護個資、保護安全性、驗証身份的軟硬體仍使用非後量子密碼學,我們希望能更換其中的密碼系統,達到量子安全,例如在 linux 中的公私鑰系統。
網際網路到生活周圍都有許多密碼工具在運行,而這些工具背後所使用的密碼系統亦受到量子電腦的威脅,我們希望能開發其抗量子電腦功擊的版本,例如 post-quantum PGP, post-quantum DNScurve