中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • Chen, Taolue

    合作成果数：3

  • Wu, Zhilin

    合作成果数：3

  • Song, Fu

    合作成果数：2

  • 宋富

    合作成果数：1

  • 高鹏飞

    合作成果数：1

访问统计


  总访问量
 366
  访问来源
    内部： 0
    外部： 366
    国内： 336
    国外： 30

  年访问量
 169
  访问来源
    内部： 0
    外部： 169
    国内： 155
    国外： 14

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

访问量

访问量

1. SAT-based Formal Fault-Resistance Verification of Cryptographic Ci.. [384]
2. Compositional Verification of Cryptographic Circuits Against Fault.. [351]
3. SAT-based Formal Verification of Fault Injection Countermeasures f.. [205]

下载量

1. SAT-based Formal Verification of Fault Injection Countermeasures f.. [1]
2. Compositional Verification of Cryptographic Circuits Against Fault.. [1]