中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 11-20 of 25)

Items/Page:    Sort:
trcbc: another look at cbc-mac [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 7, 页码: 302-307
Zhang Liting; Wu Wenling; Wang Peng; Liang Bo
  |  
 
cbcr: cbc mac with rotating transformations [期刊论文]
SCIENCE CHINA-INFORMATION SCIENCES, 2011-01-01, 卷号: 54, 期号: 11, 页码: 2247-2255
Zhang LiTing; Wu WenLing; Zhang Lei; Wang Peng

 
polye+ctr: a swiss-army-knife mode for block ciphers [会议论文]
5th International Conference on Provable Security, ProvSec 2011, Xi'an, China, 16-Oct
Zhang Liting; Wu Wenling; Wang Peng
  |  
 
simple power analysis attacks using chosen message against ecc hardware implementations [会议论文]
World Congress on Internet Security, WorldCIS-2011, London, United kingdom, 2-Feb
Li Huiyun; Wu Keke; Xu Guoqing; Yuan Hai; Luo Peng
  |  
 
value-based program characterization and its application to software plagiarism detection [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Jhi Yoon-Chan; Wang Xinran; Jia Xiaoqi; Zhu Sencun; Liu Peng; Wu Dinghao
  |  
 
constructing rate-1 macs from related-key unpredictable block ciphers: pgv model revisited [会议论文]
17th International Workshop on Fast Software Encryption, Seoul, SOUTH KOREA, FEB 07-10,
Zhang Liting; Wu Wenling; Wang Peng; Zhang Lei; Wu Shuang; Liang Bo
  |  
 
assume-guarantee reasoning with local specifications [会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng
  |  
 
extended models for message authentication [会议论文]
11th International Conference on Information Security and Cryptology, Seoul, SOUTH KOREA, DEC 03-05,
Zhang Liting; Wu Wenling; Wang Peng

 
symbolic test generation using a temporal logic with constrained events [会议论文]
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Liu Daguang; Wu Peng; Lin Huimin
  |  
 
symbolic bisimulations for probabilistic systems [会议论文]
4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September
Wu Peng; Palamidessi Catuscia; Lin Huimin
  |  
 

previous 1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace