Search Results

Item hits: (Results 1-10 of 64)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingSubmitted Time AscendingSubmitted Time Descending
	A Strand Space Approach to Provable Anonymity [会议论文] 2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013, Queenstown, New zealand, October 29, 2013 - October 30, 2013 Li, Yongjian (1); Pang, Jun (2)
	A general method to evaluate the correlation of randomness tests [会议论文] 14th International Workshop on Information Security Applications, WISA 2013, Jeju Island, Korea, Republic of, August 19, 2013 - August 21, 2013 Fan, Limin (1); Chen, Hua (1); Gao, Si (1)
	Low data complexity inversion attacks on stream ciphers via truncated compressed preimage sets [会议论文] 19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014 Zhong, Xiao (1); Wang, Mingsheng (3); Zhang, Bin (1); Wu, Shengbao (1)
	Automated proof for authorization protocols of TPM 2.0 in computational model [会议论文] 10th International Conference on Information Security Practice and Experience, ISPEC 2014, Fuzhou, China, May 5, 2014 - May 8, 2014 Wang, Weijin (1); Qin, Yu (1); Feng, Dengguo (1)
	Software Development Method Based on Structured Management of Code [会议论文] 7th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2012, Beijing, China, December 15, 2012 - December 17, 2012 Chen, Xia (1); Zhao, Junsuo (1)
	Optimizing and scaling HPCG on tianhe-2: Early experience [会议论文] 14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, Dalian, China, August 24, 2014 - August 27, 2014 Zhang, Xianyi (1); Yang, Chao (1); Liu, Fangfang (1); Liu, Yiqun (1); Lu, Yutong (4)
	Improved multidimensional zero-correlation linear cryptanalysis and applications to LBlock and TWINE [会议论文] 19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014 Wang, Yanfeng (1); Wu, Wenling (1)
	Fast symmetric pairing revisited [会议论文] 6th International Conference on Pairing-Based Cryptography, Pairing 2013, Beijing, China, November 22, 2013 - November 24, 2013 Zhang, Xusheng (1); Wang, Kunpeng (2)
	Bisimulations and logical characterizations on continuous-time markov decision processes [会议论文] 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014 Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)
	Improved Davies-Murphy's attack on des revisited [会议论文] 6th International Symposium on Foundations and Practice of Security, FPS 2013, La Rochelle, France, October 21, 2013 - October 22, 2013 Lu, Yi (1); Desmedt, Yvo (2)

1 2 3 4 5 6 7 next