中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：11

  • 谢弘毅

    合作成果数：6

  • Chen, Taolue

    合作成果数：6

  • 张俊

    合作成果数：4

  • 孙璞

    合作成果数：2

访问统计


  总访问量
 1030
  访问来源
    内部： 7
    外部： 1023
    国内： 821
    国外： 209

  年访问量
 165
  访问来源
    内部： 0
    外部： 165
    国内： 156
    国外： 9

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

访问量

访问量

1. SCINFER: Refinement-Based Verification of Software Countermeasures.. [1996]
2. Quantitative verification of masked arithmetic programs against si.. [1002]
3. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [990]
4. Verifying and Quantifying Side-channel Resistance of Masked Softwa.. [947]
5. Model-based automated testing of JavaScript Web applications via l.. [630]
6. VenomAttack: automated and adaptive activity hijacking in Android [597]
7. A Hybrid Approach to Formal Verification of Higher-Order Masked Ar.. [543]
8. SAT-based Formal Fault-Resistance Verification of Cryptographic Ci.. [376]
9. 一种基于分治的程序高阶功耗侧信道安全性的证明方法 [265]
10. 一种基于图同构的程序高阶功耗侧信道安全性的证明方法 [255]
11. Compositional Verification of Efficient Masking Countermeasures ag.. [238]
12. 一种基于GPU的模型计数及其约束的求解方法 [210]
13. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [184]
14. 掩码程序抗功耗侧信道攻击安全性的形式化验证 [22]

下载量

1. SCINFER: Refinement-Based Verification of Software Countermeasures.. [258]
2. A Hybrid Approach to Formal Verification of Higher-Order Masked Ar.. [250]
3. Model-based automated testing of JavaScript Web applications via l.. [216]
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. VenomAttack: automated and adaptive activity hijacking in Android [1]