Browse by all authors Browse By Author ID - Chenyi Zhang

Browse Results (14 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Zhang, Chenyi and Pang, Jun (2012). An algorithm for probabilistic alternating simulation. In: Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser and Gyorgy Turan, SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science. 38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, (431-442). 21 - 27 January 2012. doi:10.1007/978-3-642-27660-6_35 65   1 Cited 1 times in Scopus1 0
Sun, Yanjie, Zhang, Chenyi, Pang, Jun, Alcalde, Baptiste and Mauw, Sjouke (2012) A trust-augmented voting scheme for collaborative privacy management. Journal of Computer Security, 20 4: 437-459. doi:10.3233/JCS-2012-0453 32   Cited 3 times in Scopus3 0
Sun, Yanjie, Zhang, Chenyi, Pang, Jun, Alcade, Baptiste and Mauw, Sjouke (2011). A Trust-Augmented Voting Scheme for Collaborative Privacy Management. In: Security and Trust Management. 6th International ERCIM Workshop on Security and Trust Management, STM 2010, Athens Greece, (132-146). Sep 23-24, 2010. 27   1 Cited 1 times in Scopus1
Lu, Yi, Potter, John, Zhang, Chenyi and Xue, Jingling (2012). A type and effect system for determinism in multithreaded programs. In: Helmut Seidl, Programming languages and systems: 21st European Symposium on Programming, ESOP 2012, Proceedings. European Symposium on Programming (ESOP), Tallinn, Estonia, (518-538). 24 March - 1 April 2012. doi:10.1007/978-3-642-28869-2_26 73   Cited 1 times in Scopus1 0
Liu, Zhiyuan, Pang, Jun and Zhang, Chenyi (2013) Design and formal verification of a CEM protocol with transparent TTP. Frontiers of Computer Science, 7 2: 279-297. doi:10.1007/s11704-013-1268-6 30 1 0 Cited 0 times in Scopus0 0
Liu, Zhiyuan, Pang, Jun and Zhang, Chenyi (2010). Extending a key-chain based certified email protocol with transparent TTP. In: Proceedings: IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2010). IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC 2010), Hong Kong, China, (630-636). 11-13 December 2010. doi:10.1109/EUC.2010.101 41   Cited 4 times in Scopus4 0
Zhang, Ying, Zhang, Chenyi, Pang, Jun and Mauw, Sjouke (2012) Game-based verification of contract signing protocols with minimal messages. Innovations in Systems and Software Engineering, 8 2: 111-124. doi:10.1007/s11334-012-0180-9 42   Cited 2 times in Scopus2 0
van der Meyden, Ron and Zhang, Chenyi (2013) Information flow in systems with schedulers, part I: definitions. Theoretical Computer Science, 467 68-88. doi:10.1016/j.tcs.2012.10.047 34   1 Cited 1 times in Scopus1 0
van der Meyden, Ron and Zhang, Chenyi (2013) Information flow in systems with schedulers, part II: refinement. Theoretical Computer Science, 484 70-92. doi:10.1016/j.tcs.2013.01.002 29   0 Cited 0 times in Scopus0 0
Engelhardt, Kai, van der Meyden, Ron and Zhang, Chenyi (2012). Intransitive noninterference in nondeterministic systems. In: Ting Yu, CCS '12: Proceedings of the 2012 ACM Conference on Computer and Communications Security. 19th ACM Conference on Computer and Communications Security, Raleigh, NC, U.S.A., (869-880). 16-18 October 2012. doi:10.1145/2382196.2382288 36 16 Cited 0 times in Scopus0 0
Winter, Kirsten, Zhang, Chenyi, Hayes, Ian J., Keynes, Nathan, Cifuentes, Cristina and Li, Lisa (2013). Path-sensitive data flow analysis simplified. In: Lindsay Groves and Jing Sun, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Proceedings. 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, (415-430). 29 October - 1 November 2013. doi:10.1007/978-3-642-41202-8_27 29   0 Cited 0 times in Scopus0 0
Huang, Xiaowei, Su, Kaile and Zhang, Chenyi (2012). Probabilistic alternating-time temporal logic of incomplete information and synchronous perfect recall. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, (765-771). 22-26 July 2012. 36 3 Cited 1 times in Scopus1
Cassez, Franck, van der Meyden, Ron and Zhang, Chenyi (2010). The complexity of synchronous notions of information flow security. In: Foundations of Software Science and Computational Structures, Proceedings. 13th International Conference on Foundations of Software Science and Computational Structures, Paphos, Cyprus, (282-296). 20 - 28 March 2010. doi:10.1007/978-3-642-12032-9_20 26   2 Cited 1 times in Scopus1 0
Jain, Surinder Kumar, Zhang, Chenyi and Scholz, Bernhard (2012). Translating flowcharts to non-deterministic languages. In: PEPM'12: Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, United States, (155-162). 23-24 January 2012. doi:10.1145/2103746.2103775 54 12 Cited 0 times in Scopus0 0