你即將離開本站

並前往https://www.usenix.org/conference/osdi22/presentation/athalye

Verifying Hardware Security Modules with Information ...

... with a new definition called information-preserving refinement (IPR). ... importing HSM implementations written in Verilog and C code, and proving IPR ...

確定！ 回上一頁

查詢 「Code refinement」的人也找了：

  1. Refine code
    2.
  2. Refine source code
    3.