瀏覽 的方式: 作者 Kuang-Lin Pan
顯示 1 到 1 筆資料,總共 1 筆
| 出版年 | 標題 | 作者 | 系所 |
|---|---|---|---|
| 2023 | 密碼學函式庫實作中向量化基本操作的形式驗證 Formal Verification of Vectorized Implementations of Cryptographic Primitives | 潘廣霖; Kuang-Lin Pan | 資訊工程學系 |
| 出版年 | 標題 | 作者 | 系所 |
|---|---|---|---|
| 2023 | 密碼學函式庫實作中向量化基本操作的形式驗證 Formal Verification of Vectorized Implementations of Cryptographic Primitives | 潘廣霖; Kuang-Lin Pan | 資訊工程學系 |