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

Search Results

Help

Item hits: (Results 11-20 of 64)

Items/Page:    Sort:
Metrics for differential privacy in concurrent systems [会议论文]
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)

 
ExBLACR: Extending BLACR system [会议论文]
19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014
Wang, Weijin (1); Feng, Dengguo (1); Qin, Yu (1); Shao, Jianxiong (1); Xi, Li (1); Chu, Xiaobo (1)

 
A roadmap for TAMC [会议论文]
11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, Chennai, India, April 11, 2014 - April 13, 2014
Gopal, T.V. (1); Agrawal, Manindra (2); Li, Angsheng (3); Cooper, S. Barry (4)

 
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm [会议论文]
25th International Conference on Concurrency Theory, CONCUR 2014, Rome, Italy, September 2, 2014 - September 5, 2014
Feng, Yuan (1); Zhang, Lijun (3)

 
QBF encoding of temporal properties and QBF-based verification [会议论文]
7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014
Zhang, Wenhui (1)

 
Some new weaknesses in the RC4 stream cipher [会议论文]
14th International Workshop on Information Security Applications, WISA 2013, Jeju Island, Korea, Republic of, August 19, 2013 - August 21, 2013
Lv, Jing (1); Zhang, Bin (1); Lin, Dongdai (2)

 
Generalized bisimulation metrics [会议论文]
25th International Conference on Concurrency Theory, CONCUR 2014, Rome, Italy, September 2, 2014 - September 5, 2014
Chatzikokolakis, Konstantinos (1); Gebler, Daniel (3); Palamidessi, Catuscia (2); Xu, Lili (2)

 
When equivalence and bisimulation join forces in probabilistic automata [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Feng, Yuan (1); Zhang, Lijun (3)

 
Reflection cryptanalysis of PRINCE-like ciphers [会议论文]
20th International Workshop on Fast Software Encryption, FSE 2013, Singapore, Singapore, March 11, 2013 - March 13, 2013
Soleimany, Hadi (1); Blondeau, Cé; line (1); Yu, Xiaoli (2); Wu, Wenling (2); Nyberg, Kaisa (1); Zhang, Huiling (2); Zhang, Lei (2); Wang, Yanfeng (2)

 
DAA-related APIs in TPM 2.0 revisited [会议论文]
7th International Conference on Trust and Trustworthy Computing, TRUST 2014, Heraklion, Crete, Greece, June 30, 2014 - July 2, 2014
Xi, Li (1); Yang, Kang (1); Zhang, Zhenfeng (1); Feng, Dengguo (1)

 

previous 1 2 3 4 5 6 7 next

 

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