Showing 1 - 1 results of 1 for search 'Chuengsatiansup, Chitchanok', 查詢時間: 0.02s Refine Results
  1. 1
    CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

    CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives 由 Kuepper, Joel, Erbsen, Andres, Gross, Jason, Conoly, Owen, Sun, Chuyue, Tian, Samuel, Wu, David, Chlipala, Adam, Chuengsatiansup, Chitchanok, Genkin, Daniel, Wagner, Markus, Yarom, Yuval

    出版 2023
    獲取全文
    Article

檢索工具: