Follow
Chenyi Zhang
Chenyi Zhang
Oracle Labs Australia
Verified email at oracle.com
Title
Cited by
Cited by
Year
Characterising testing preorders for finite probabilistic processes
Y Deng, M Hennessy, R van Glabbeek, C Morgan
Logical Methods in Computer Science 4, 2008
1242008
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
692008
Algorithmic verification of noninterference properties
R van der Meyden, C Zhang
Electronic Notes in Theoretical Computer Science 168, 61-75, 2007
592007
Remarks on testing probabilistic processes
Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang
Electronic Notes in Theoretical Computer Science 172, 359-397, 2007
492007
Combining string abstract domains for JavaScript analysis: An evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
382017
Probabilistic alternating-time temporal logic of incomplete information and synchronous perfect recall
X Huang, K Su, C Zhang
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 765-771, 2012
382012
Scalar outcomes suffice for finitary probabilistic testing
Y Deng, R van Glabbeek, C Morgan, C Zhang
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
372007
A comparison of semantic models for noninterference
R van der Meyden, C Zhang
Theoretical Computer Science 411 (47), 4123-4147, 2010
232010
Imparting cultural values to Chinese children through literature
C Zhang, JW Morrison
International Journal of Early Childhood 42, 7-26, 2010
182010
Path-sensitive data flow analysis simplified
K Winter, C Zhang, IJ Hayes, N Keynes, C Cifuentes, L Li
International Conference on Formal Engineering Methods, 415-430, 2013
172013
Information flow in systems with schedulers
R van der Meyden, C Zhang
2008 21st IEEE Computer Security Foundations Symposium, 301-312, 2008
172008
Intransitive noninterference in nondeterministic systems
K Engelhardt, R Van Der Meyden, C Zhang
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
162012
Introduction of the AeroSUV-a new generic SUV model for aerodynamic research
C Zhang, M Tanneberger, T Kuthada, F Wittmeier, J Wiedemann, J Nies
SAE Technical Paper, 2019
152019
Game-Based Verification of Multi-Party Contract Signing Protocols
Y Zhang, C Zhang, J Pang, S Mauw
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009 …, 2010
15*2010
A trust-augmented voting scheme for collaborative privacy management
Y Sun, C Zhang, J Pang, B Alcalde, S Mauw
Journal of Computer Security 20 (4), 437-459, 2012
142012
A comparison of semantic models for noninterference
R Van Der Meyden, C Zhang
International Workshop on Formal Aspects in Security and Trust, 235-249, 2006
142006
Reference abstract domains and applications to string analysis
R Amadini, G Gange, F Gauthier, A Jordan, P Schachte, H Søndergaard, ...
Fundamenta Informaticae 158 (4), 297-326, 2018
132018
Method and system for fast static taint analysis
BF Scholz, C Zhang, CN Cifuentes
US Patent 8,327,339, 2012
122012
Conditional information flow policies and unwinding relations
C Zhang
International Symposium on Trustworthy Global Computing, 227-241, 2011
102011
On probabilistic alternating simulations
C Zhang, J Pang
IFIP International Conference on Theoretical Computer Science, 71-85, 2010
102010
The system can't perform the operation now. Try again later.
Articles 1–20