搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 5 筆結果,共 5 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2020 | 形式化驗證零知識證明系統編譯器 From a Dependently Typed Language to ZK-SNARKs Circuits: A Formally Verified Compiler | Ruey-Lin Hsu; 許瑞麟 | 電機工程學研究所 |
2020 | 透過增強式學習攻擊區塊鏈拜占庭協議演算法:初步研究 Attacking blockchain Byzantine agreement algorithms with reinforcement learning: a preliminary study | DUEN YIH TENG; 鄧惇益 | 電機工程學研究所 |
2020 | 邁向實際的格密碼學 Towards Practical Lattice-based Cryptography | Po-Chun Kuo; 郭博鈞 | 電機工程學研究所 |
2020 | 後量子區塊鏈雜湊數位簽章之研究 A Study on Hash-Based Signatures in Post-Quantum Block Chains | Alexander Chane Shiau; 蕭世謙 | 電機工程學研究所 |
2020 | 在FPGA上的CRYSTALS-KYBER實作 - 一個符合IND-CCA2安全標準的金鑰封裝機制 An FPGA implementation of CRYSTALS-KYBER - an IND-CCA2-secure key-encapsulation mechanism | Chia-Chi Lu; 魯家齊 | 電機工程學研究所 |