中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：5

  • 高鹏飞

    合作成果数：4

  • 王丰

    合作成果数：2

  • 谢弘毅

    合作成果数：2

  • Chen, Taolue

    合作成果数：2

访问统计


  总访问量
 651
  访问来源
    内部： 9
    外部： 642
    国内： 489
    国外： 162

  年访问量
 79
  访问来源
    内部： 1
    外部： 78
    国内： 68
    国外： 11

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

访问量

访问量

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

下载量

1. KRust: A Formal Executable Semantics of Rust [337]
2. H3K4 Methyltransferase Set1a Is A Key Oct4 Coactivator Essential f.. [320]
3. SCINFER: Refinement-Based Verification of Software Countermeasures.. [264]
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]