Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange. - Zheng Yang 001 (FPS, 2013)

Authenticated key exchange with synchronized state. - Zheng Yang 001; Fei Guo (Secur. Commun. Networks, 2014)

A new efficient signcryption scheme in the standard model. - Zheng Yang 001 (Secur. Commun. Networks, 2015)

An efficient strongly secure authenticated key exchange protocol without random oracles. - Zheng Yang 001 (Secur. Commun. Networks, 2015)

On constructing practical multi-recipient key-encapsulation with short ciphertext and public key. - Zheng Yang 001 (Secur. Commun. Networks, 2015)

A practical strongly secure one-round authenticated key exchange protocol without random oracles. - Zheng Yang 001; Wu Yang (Secur. Commun. Networks, 2015)

Towards modelling perfect forward secrecy in two-message authenticated key exchange under ephemeral-key revelation. - Zheng Yang 001; Wu Yang; Lingyun Zhu; Daigu Zhang (Secur. Commun. Networks, 2015)

Modeling the propagation of mobile malware on complex networks. - Wanping Liu; Chao Liu 026; Zheng Yang 001; Xiaoyang Liu 001; Yihao Zhang 002; Zuxue Wei (Commun. Nonlinear Sci. Numer. Simul., 2016)

A Lightweight Generic Compiler for Authenticated Key Exchange from Non-interactive Key Exchange with Auxiliary Input. - Zheng Yang 001; Chao Liu 026; Wanping Liu; Song Luo; Hua Long; Shuangqing Li (Int. J. Netw. Secur., 2016)

Towards Modelling Perfect Forward Secrecy for One-round Group Key Exchange. - Zheng Yang 001; Daigu Zhang (Int. J. Netw. Secur., 2016)

Stability of neural networks with delay and variable-time impulses. - Chao Liu 026; Wanping Liu; Zheng Yang 001; Xiaoyang Liu 001; Chuandong Li 001; Guangjian Zhang (Neurocomputing, 2016)

On security analysis of an after-the-fact leakage resilient key exchange protocol. - Zheng Yang 001; Shuangqing Li (Inf. Process. Lett., 2016)

New Proof for BKP IBE Scheme and Improvement in the MIMC Setting. - Song Luo; Lu Yan; Jian Weng 001; Zheng Yang 001 (ISPEC, 2017)

Simpler Generic Constructions for Strongly Secure One-round Key Exchange from Weaker Assumptions. - Zheng Yang 001; Junyu Lai; Chao Liu 026; Wanping Liu; Shuangqing Li (Comput. J., 2017)

A note on the strong authenticated key exchange with auxiliary inputs. - Rongmao Chen; Yi Mu 001; Guomin Yang; Willy Susilo; Fuchun Guo; Zheng Yang 001 (Des. Codes Cryptogr., 2017)

SignORKE: improving pairing-based one-round key exchange without random oracles. - Zheng Yang 001; Junyu Lai; Wanping Liu; Chao Liu 026; Song Luo (IET Inf. Secur., 2017)

Randomized authentication primitive problem in key exchange with strong security. - Zheng Yang 001; Chao Liu 026; Wanping Liu; Song Luo (J. Inf. Secur. Appl., 2017)

Synchronization of Chaotic Systems with Time Delays via Periodically Intermittent Control. - Chao Liu 026; Zheng Yang 001; Dihua Sun; Xiaoyang Liu 001; Wanping Liu (J. Circuits Syst. Comput., 2017)

Received Signal Strength Quantization for Secure Indoor Positioning via Fingerprinting. - Philipp Richter; Helena Leppäkoski; Elena Simona Lohan; Zheng Yang 001; Kimmo Järvinen 001; Oleksandr Tkachenko; Thomas Schneider 003 (ICL-GNSS, 2018)

On Security Analysis of Generic Dynamic Authenticated Group Key Exchange. - Zheng Yang 001; Mohsin Khan; Wanping Liu; Jun He (NordSec, 2018)

Modeling Privacy in WiFi Fingerprinting Indoor Localization. - Zheng Yang 001; Kimmo Järvinen 001 (ProvSec, 2018)

New constructions for (multiparty) one-round key exchange with strong security. - Zheng Yang 001; Junyu Lai (Sci. China Inf. Sci., 2018)

Faster Privacy-Preserving Location Proximity Schemes. - Kimmo Järvinen 001; Ágnes Kiss; Thomas Schneider 003; Oleksandr Tkachenko; Zheng Yang 001 (IACR Cryptol. ePrint Arch., 2018)

Two-message Key Exchange with Strong Security from Ideal Lattices. - Zheng Yang 001; Yu Chen 003; Song Luo (IACR Cryptol. ePrint Arch., 2018)

The Death and Rebirth of Privacy-Preserving WiFi Fingerprint Localization with Paillier Encryption. - Zheng Yang 001; Kimmo Järvinen 001 (IACR Cryptol. ePrint Arch., 2018)

Cryptanalysis of a generic one-round key exchange protocol with strong security. - Zheng Yang 001; Junyu Lai; Guoyuan Li (IET Inf. Secur., 2018)

On the security of a provably secure, efficient, and flexible authentication scheme for ad hoc wireless sensor networks. - Jun He; Zheng Yang 001; Jianxun Zhang; Wanping Liu; Chao Liu 026 (Int. J. Distributed Sens. Networks, 2018)

A new strong security model for stateful authenticated group key exchange. - Zheng Yang 001; Chao Liu 026; Wanping Liu; Daigu Zhang; Song Luo (Int. J. Inf. Sec., 2018)

Stability of switched neural networks with time-varying delays. - Chao Liu 026; Zheng Yang 001; Dihua Sun; Xiaoyang Liu 001; Wanping Liu (Neural Comput. Appl., 2018)

Proof of aliveness. - Chenglu Jin; Zheng Yang 001; Marten van Dijk; Jianying Zhou 001 (ACSAC, 2019)

PILOT: Practical Privacy-Preserving Indoor Localization Using OuTsourcing. - Kimmo Järvinen 001; Helena Leppäkoski; Elena Simona Lohan; Philipp Richter; Thomas Schneider 003; Oleksandr Tkachenko; Zheng Yang 001 (EuroS&P, 2019)

An Improved Unbounded HIBE Scheme in the Prime Order Setting. - Song Luo; Su Yu; Lu Yan; Zheng Yang 001 (FSDM, 2019)

IBWH: An Intermittent Block Withholding Attack with Optimal Mining Reward Rate. - Junming Ke; Pawel Szalachowski; Jianying Zhou 001; Qiuliang Xu; Zheng Yang 001 (ISC, 2019)

HMAKE: Legacy-Compliant Multi-factor Authenticated Key Exchange from Historical Data. - Chenglu Jin; Zheng Yang 001; Sridhar Adepu; Jianying Zhou 001 (IACR Cryptol. ePrint Arch., 2019)

Towards Modeling Privacy in WiFi Fingerprinting Indoor Localization and its Application. - Zheng Yang 001; Kimmo Järvinen 001 (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2019)

A Novel Authenticated Key Agreement Protocol With Dynamic Credential for WSNs. - Zheng Yang 001; Junyu Lai; Yingbing Sun; Jianying Zhou 001 (ACM Trans. Sens. Networks, 2019)

LiS: Lightweight Signature Schemes for Continuous Message Authentication in Cyber-Physical Systems. - Zheng Yang 001; Chenglu Jin; Yangguang Tian; Junyu Lai; Jianying Zhou 001 (AsiaCCS, 2020)

A New Construction for Linkable Secret Handshake. - Yangguang Tian; Yingjiu Li; Robert H. Deng; Nan Li 007; Guomin Yang; Zheng Yang 001 (Comput. J., 2020)

Stability of delayed switched systems with state-dependent switching. - Chao Liu 026; Zheng Yang 001; Xiaoyang Liu 001; Xianying Huang (IEEE CAA J. Autom. Sinica, 2020)

Faster privacy-preserving location proximity schemes for circles and polygons. - Kimmo Järvinen 001; Ágnes Kiss; Thomas Schneider 003; Oleksandr Tkachenko; Zheng Yang 001 (IET Inf. Secur., 2020)

Faster Authenticated Key Agreement With Perfect Forward Secrecy for Industrial Internet-of-Things. - Zheng Yang 001; Jun He; Yangguang Tian; Jianying Zhou 001 (IEEE Trans. Ind. Informatics, 2020)

Lightweight Delegated Authentication with Identity Fraud Detection for Cyber-physical Systems. - Zheng Yang 001; Chao Yin; Chenglu Jin; Jianting Ning; Jianying Zhou 001 (CPSS@AsiaCCS, 2021)

Transparent Electricity Pricing with Privacy. - Daniël Reijsbergen; Zheng Yang 001; Aung Maw; Tien Tuan Anh Dinh; Jianying Zhou 001 (ESORICS (2), 2021)

Opportunities and Challenges in Securing Critical Infrastructures Through Cryptography. - Zheng Yang 001; Sridhar Adepu; Jianying Zhou 001 (IEEE Secur. Priv., 2021)

Enabling isolation and recovery in PLC redundancy framework of metro train systems. - Edwin Franco Myloth Josephlal; Sridhar Adepu; Zheng Yang 001; Jianying Zhou 001 (Int. J. Inf. Sec., 2021)

Stability of delayed switched systems via Razumikhin technique and application to switched neural networks. - Dihua Sun; Chao Liu 026; Zheng Yang 001; Xiaoyang Liu 001; Hongyu Yang; Junjian Huang (IMA J. Math. Control. Inf., 2021)

Building Low-Interactivity Multifactor Authenticated Key Exchange for Industrial Internet of Things. - Zengpeng Li 001; Zheng Yang 001; Pawel Szalachowski; Jianying Zhou 001 (IEEE Internet Things J., 2021)

PLCrypto: A Symmetric Cryptographic Library for Programmable Logic Controllers. - Zheng Yang 001; Zhiting Bao; Chenglu Jin; Zhe Liu; Jianying Zhou 001 (IACR Trans. Symmetric Cryptol., 2021)

If You Can't Beat Them, Pay Them: Bitcoin Protection Racket is Profitable. - Zheng Yang 001; Chao Yin; Junming Ke; Tien Tuan Anh Dinh; Jianying Zhou 001 (ACSAC, 2022)

New stability results of generalized impulsive functional differential equations. - Chao Liu 026; Xiaoyang Liu 001; Zheng Yang 001; Hongyu Yang; Junjian Huang (Sci. China Inf. Sci., 2022)

Policy-Based Editing-Enabled Signatures: Authenticating Fine-Grained and Restricted Data Modification. - Binanda Sengupta; Yingjiu Li; Yangguang Tian; Robert H. Deng; Zheng Yang 001 (Comput. J., 2022)

LARP: A Lightweight Auto-Refreshing Pseudonym Protocol for V2X. - Zheng Yang 001; Tien Tuan Anh Dinh; Chao Yin; Yingying Yao; Dianshi Yang; Xiaolin Chang; Jianying Zhou 001 (IACR Cryptol. ePrint Arch., 2022)

Group Time-based One-time Passwords and its Application to Efficient Privacy-Preserving Proof of Location. - Zheng Yang 001; Chenglu Jin; Jianting Ning; Zengpeng Li 001; Tien Tuan Anh Dinh; Jianying Zhou 001 (IACR Cryptol. ePrint Arch., 2022)

Catch Me If You Can: A New Low-Rate DDoS Attack Strategy Disguised by Feint. - Tianyang Cai; Yuqi Li; Tao Jia 001; Leo Yu Zhang; Zheng Yang 001 (CSCWD, 2023)

Optimizing Lightweight Intermittent Message Authentication for Programmable Logic Controller. - Jiaqi Yang; Jun Xian Chia; Xijie Ba; Jianying Zhou 001; Zheng Yang 001 (SecureComm (1), 2023)

TAP: Transparent and Privacy-Preserving Data Services. - Daniël Reijsbergen; Aung Maw; Zheng Yang 001; Tien Tuan Anh Dinh; Jianying Zhou 001 (USENIX Security Symposium, 2023)

HMACCE: Establishing Authenticated and Confidential Channel From Historical Data for Industrial Internet of Things. - Chenglu Jin; Zheng Yang 001; Tao Xiang 001; Sridhar Adepu; Jianying Zhou 001 (IEEE Trans. Inf. Forensics Secur., 2023)

ADAM: An Adaptive DDoS Attack Mitigation Scheme in Software-Defined Cyber-Physical System. - Tianyang Cai; Tao Jia 001; Sridhar Adepu; Yuqi Li; Zheng Yang 001 (IEEE Trans. Ind. Informatics, 2023)

Optimizing Proof of Aliveness in Cyber-Physical Systems. - Zheng Yang 001; Chenglu Jin; Xuelian Cao; Marten van Dijk; Jianying Zhou 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Dynamic Group Time-Based One-Time Passwords. - Xuelian Cao; Zheng Yang 001; Jianting Ning; Chenglu Jin; Rongxing Lu; Zhiming Liu 001; Jianying Zhou 001 (IEEE Trans. Inf. Forensics Secur., 2024)

Polling Sanitization to Balance I/O Latency and Data Security of High-density SSDs. - Jiaojiao Wu; Zhigang Cai; Fan Yang 110; Jun Li 062; François Trahay; Zheng Yang 001; Chao Wang; Jianwei Liao 001 (ACM Trans. Storage, 2024)