中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • Chen, Taolue

    合作成果数：3

  • Wu, Zhilin

    合作成果数：3

  • Song, Fu

    合作成果数：2

  • 宋富

    合作成果数：1

  • 高鹏飞

    合作成果数：1

访问统计


  总访问量
 369
  访问来源
    内部： 0
    外部： 369
    国内： 336
    国外： 33

  年访问量
 172
  访问来源
    内部： 0
    外部： 172
    国内： 155
    国外： 17

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

访问量

访问量

1. SAT-based Formal Fault-Resistance Verification of Cryptographic Ci.. [388]
2. Compositional Verification of Cryptographic Circuits Against Fault.. [355]
3. SAT-based Formal Verification of Fault Injection Countermeasures f.. [209]

下载量

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