Algorithmic Verification of Noninterference Properties. - Ron van der Meyden; Chenyi Zhang 001 (VODCA@FOSAD, 2006)

Scalar Outcomes Suffice for Finitary Probabilistic Testing. - Yuxin Deng; Rob J. van Glabbeek; Carroll Morgan; Chenyi Zhang 001 (ESOP, 2007)

Characterising Testing Preorders for Finite Probabilistic Processes. - Yuxin Deng; Rob J. van Glabbeek; Matthew Hennessy; Carroll Morgan; Chenyi Zhang 001 (LICS, 2007)

Remarks on Testing Probabilistic Processes. - Yuxin Deng; Rob J. van Glabbeek; Matthew Hennessy; Carroll Morgan; Chenyi Zhang 001 (Computation, Meaning, and Logic, 2007)

Information Flow in Systems with Schedulers. - Ron van der Meyden; Chenyi Zhang 001 (CSF, 2008)

User-Input Dependence Analysis via Graph Reachability. - Bernhard Scholz; Chenyi Zhang 001; Cristina Cifuentes (SCAM, 2008)

Game-Based Verification of Multi-Party Contract Signing Protocols. - Ying Zhang; Chenyi Zhang 001; Jun Pang 001; Sjouke Mauw (Formal Aspects in Security and Trust, 2009)

How to Work with Honest but Curious Judges? (Preliminary Report) - Jun Pang 001; Chenyi Zhang 001 (SECCO, 2009)

Information flow security - models, verification and schedulers. - Chenyi Zhang 001 (2009)

Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. - Zhiyuan Liu 007; Jun Pang 001; Chenyi Zhang 001 (EUC, 2010)

On Probabilistic Alternating Simulations. - Chenyi Zhang 001; Jun Pang 001 (IFIP TCS, 2010)

Unwinding Conditional Noninterference - Chenyi Zhang 001 (CoRR, 2010)

Verification of A Key Chain Based TTP Transparent CEM Protocol. - Zhiyuan Liu 007; Jun Pang 001; Chenyi Zhang 001 (TTSS, 2010)

A comparison of semantic models for noninterference. - Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2010)

Conditional Information Flow Policies and Unwinding Relations. - Chenyi Zhang 001 (TGC, 2011)

Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. - Xiaowei Huang 001; Kaile Su; Chenyi Zhang 001 (AAAI, 2012)

Intransitive noninterference in nondeterministic systems. - Kai Engelhardt; Ron van der Meyden; Chenyi Zhang 001 (CCS, 2012)

A Type and Effect System for Determinism in Multithreaded Programs. - Yi Lu 003; John Potter; Chenyi Zhang 001; Jingling Xue (ESOP, 2012)

Translating flowcharts to non-deterministic languages. - Surinder Kumar Jain; Chenyi Zhang 001; Bernhard Scholz (PEPM, 2012)

An Algorithm for Probabilistic Alternating Simulation. - Chenyi Zhang 001; Jun Pang 001 (SOFSEM, 2012)

Game-based verification of contract signing protocols with minimal messages. - Ying Zhang; Chenyi Zhang 001; Jun Pang 001; Sjouke Mauw (Innov. Syst. Softw. Eng., 2012)

A trust-augmented voting scheme for collaborative privacy management. - Yanjie Sun; Chenyi Zhang 001; Jun Pang 001; Baptiste Alcalde; Sjouke Mauw (J. Comput. Secur., 2012)

Path-Sensitive Data Flow Analysis Simplified. - Kirsten Winter; Chenyi Zhang 001; Ian J. Hayes; Nathan Keynes; Cristina Cifuentes; Lian Li (ICFEM, 2013)

Design and formal verification of a CEM protocol with transparent TTP. - Zhiyuan Liu 007; Jun Pang 001; Chenyi Zhang 001 (Frontiers Comput. Sci., 2013)

Information flow in systems with schedulers, Part I: Definitions. - Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2013)

Information flow in systems with schedulers, Part II: Refinement. - Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2013)

An I/O Efficient Approach for Detecting All Accepting Cycles. - Lijun Wu 001; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001; Chenyi Zhang 001; Shupeng Wang (IEEE Trans. Software Eng., 2015)

The complexity of synchronous notions of information flow security. - Franck Cassez; Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2016)

Improving the Scalability of Automatic Linearizability Checking in SPIN. - Patrick Doolan; Graeme Smith 001; Chenyi Zhang 001; Padmanabhan Krishnan (ICFEM, 2017)

Combining String Abstract Domains for JavaScript Analysis: An Evaluation. - Roberto Amadini; Alexander Jordan; Graeme Gange; François Gauthier 001; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (TACAS (1), 2017)

Reference Abstract Domains and Applications to String Analysis. - Roberto Amadini; Graeme Gange; François Gauthier 001; Alexander Jordan; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (Fundam. Informaticae, 2018)

A Relational Static Semantics for Call Graph Construction. - Xilong Zhuo; Chenyi Zhang 001 (ICFEM, 2019)

Nontransitive Security Types for Coarse-grained Information Flow Control. - Yi Lu 003; Chenyi Zhang 001 (CSF, 2020)

Characterising Probabilistic Alternating Simulation for Concurrent Games. - Chenyi Zhang 001; Jun Pang 001 (TASE, 2020)

Minimal consistent DFA from sample strings. - Chenyi Zhang 001 (Acta Informatica, 2020)

TFA: an efficient and precise virtual method call resolution for Java. - Xilong Zhuo; Chenyi Zhang 001 (Formal Aspects Comput., 2020)

Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). - Chenyi Zhang 001; Jun Pang 001 (Sci. Comput. Program., 2020)

Parameter Sensitive Pointer Analysis for Java. - Yulin Bao; Chenyi Zhang 001; Xilong Zhuo; Yongliang Wang (ICECCS, 2022)

Taint Trace Analysis For Java Web Applications. - Yaju Li; Chenyi Zhang 001; Qin Li 002 (SEKE, 2022)

A Mask-Based Adversarial Defense Scheme. - Weizhen Xu; Chenyi Zhang 001; Fangzhen Zhao; Liangda Fang (Algorithms, 2022)

A Uniform Framework for Anomaly Detection in Deep Neural Networks. - Fangzhen Zhao; Chenyi Zhang 001; Naipeng Dong; Zefeng You; Zhenxin Wu (Neural Process. Lett., 2022)

Modal characterisation of simulation relations in probabilistic concurrent games. - Chenyi Zhang 001; Jun Pang 001 (Sci. Comput. Program., 2022)

Monotonic learning with hypothesis evolution. - Ming Li; Chenyi Zhang 001; Qin Li 002; Shuangqin Cheng (Inf. Sci., 2023)

Adversarial Detection from Derived Models. - Fangzhen Zhao; Chenyi Zhang 001; Naipeng Dong; Ming Li (Int. J. Pattern Recognit. Artif. Intell., 2023)

Call-Graph-Based Context-Sensitive Points-to Analysis for Java. - Yulin Bao; Chenyi Zhang 001; Kaile Su (IEEE Trans. Reliab., 2024)

Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. - Liangda Fang; Shikang Chen; Xiaoman Wang; Xiaoyou Lin; Chenyi Zhang 001; Qingliang Chen; Quanlong Guan; Kaile Su (AAMAS, 2025)

Anomaly Detection Based on Critical Paths for Deep Neural Networks. - Fangzhen Zhao; Chenyi Zhang 001; Naipeng Dong; Ming Li; Jinxiao Shan (CoRR, 2025)