中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：2

  • 高鹏飞

    合作成果数：2

  • 张俊

    合作成果数：1

  • 谢弘毅

    合作成果数：1

  • Chen, Sen

    合作成果数：1

访问统计


  总访问量
 670
  访问来源
    内部： 0
    外部： 670
    国内： 566
    国外： 104

  年访问量
 45
  访问来源
    内部： 0
    外部： 45
    国内： 34
    国外： 11

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

访问量

访问量

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

下载量

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