中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：2

  • 高鹏飞

    合作成果数：2

  • 张俊

    合作成果数：1

  • 谢弘毅

    合作成果数：1

  • Chen, Sen

    合作成果数：1

访问统计


  总访问量
 675
  访问来源
    内部： 0
    外部： 675
    国内： 570
    国外： 105

  年访问量
 50
  访问来源
    内部： 0
    外部： 50
    国内： 38
    国外： 12

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

访问量

访问量

1. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [998]
2. VenomAttack: automated and adaptive activity hijacking in Android [605]
3. EasyBC: A Cryptography-Specific Language for Security Analysis of .. [340]
4. 分组密码抗密码分析安全性的自动化验证 [1]

下载量

1. Formal Verification of Masking Countermeasures for Arithmetic Prog.. [2]
2. VenomAttack: automated and adaptive activity hijacking in Android [1]