中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：5

  • 高鹏飞

    合作成果数：4

  • 王丰

    合作成果数：2

  • 谢弘毅

    合作成果数：2

  • Chen, Taolue

    合作成果数：2

访问统计


  总访问量
 649
  访问来源
    内部： 9
    外部： 640
    国内： 488
    国外： 161

  年访问量
 77
  访问来源
    内部： 1
    外部： 76
    国内： 67
    国外： 10

  月访问量
 1
  访问来源
    内部： 0
    外部： 1
    国内： 1
    国外： 0

访问量

访问量

1. SCINFER: Refinement-Based Verification of Software Countermeasures.. [2028]
2. KRust: A Formal Executable Semantics of Rust [1559]
3. H3K4 Methyltransferase Set1a Is A Key Oct4 Coactivator Essential f.. [1059]
4. Quantitative verification of masked arithmetic programs against si.. [1011]
5. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [994]
6. Verifying and Quantifying Side-channel Resistance of Masked Softwa.. [961]
7. Tuning strong metal-support interactions to boost activity and sta.. [533]
8. KRust:Rust形式化可执行语义 [203]
9. SCVerify:抗功耗侧信道攻击软件实现的验证 [201]
10. Improved Stability Bounds for Graph Convolutional Neural Networks .. [183]

下载量

1. KRust: A Formal Executable Semantics of Rust [330]
2. H3K4 Methyltransferase Set1a Is A Key Oct4 Coactivator Essential f.. [320]
3. SCINFER: Refinement-Based Verification of Software Countermeasures.. [263]
4. Verifying and Quantifying Side-channel Resistance of Masked Softwa.. [23]
5. Quantitative verification of masked arithmetic programs against si.. [19]
6. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [2]
7. Tuning strong metal-support interactions to boost activity and sta.. [2]
8. Improved Stability Bounds for Graph Convolutional Neural Networks .. [1]