中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：6

  • 高鹏飞

    合作成果数：6

  • Chen, Taolue

    合作成果数：3

  • 张俊

    合作成果数：2

  • 孙璞

    合作成果数：1

访问统计


  总访问量
 605
  访问来源
    内部： 0
    外部： 605
    国内： 460
    国外： 145

  年访问量
 78
  访问来源
    内部： 0
    外部： 78
    国内： 67
    国外： 11

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

访问量

访问量

1. Quantitative verification of masked arithmetic programs against si.. [990]
2. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [987]
3. A Hybrid Approach to Formal Verification of Higher-Order Masked Ar.. [539]
4. 一种基于分治的程序高阶功耗侧信道安全性的证明方法 [259]
5. 一种基于图同构的程序高阶功耗侧信道安全性的证明方法 [250]
6. 一种基于GPU的模型计数及其约束的求解方法 [207]

下载量

1. A Hybrid Approach to Formal Verification of Higher-Order Masked Ar.. [247]
2. Quantitative verification of masked arithmetic programs against si.. [19]
3. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [2]