Zhou-Jun Li

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5035489	2022-02-22	Paper
A unified framework of identity-based sequential aggregate signatures from 2-level HIBE schemes	2021-03-31	Paper
Super root: a new stealthy rooting technique on ARM devices	2021-02-23	Paper
Program security verification based on abstract invariants	2017-05-17	Paper
Non-malleable Extractors with Shorter Seeds and Their Applications	2016-01-12	Paper
Overcoming Weak Expectations via the R$$\acute{e}$$nyi Entropy and the Expanded Computational Entropy	2015-09-30	Paper
A novel variable precision $(\theta ,\sigma )$-fuzzy rough set model based on fuzzy granules	2015-06-24	Paper
Efficient and dynamic key management for multiple identities in identity-based systems	2014-08-01	Paper
A Novel Derivation Framework For Definite Logic Program	2014-05-13	Paper
Modeling and Verifying Time Sensitive Security Protocols with Constraints	2014-05-13	Paper
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol	2014-05-13	Paper
A provably secure authenticated key agreement protocol for wireless communications	2012-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q2882377	2012-05-04	Paper
An efficient dynamic authenticated key exchange protocol with selectable identities	2011-09-18	Paper
An Iterative Method for Generating Loop Invariants	2011-06-03	Paper
Attribute reduction based on generalized fuzzy evidence theory in fuzzy decision systems	2011-05-02	Paper
Provably secure identity-based authenticated key agreement protocols with malicious private key generators	2011-01-28	Paper
Server-Controlled Identity-Based Authenticated Key Exchange	2009-12-11	Paper
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming	2009-04-29	Paper
Constraints Solution for Time Sensitive Security Protocols	2009-03-10	Paper
Hamiltonian Property on Binary Recursive Networks	2009-03-10	Paper
Constraint Abstraction in Verification of Security Protocols	2008-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5491199	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5314436	2005-09-05	Paper
Symbolic transition graph and its early bisimulation checking algorithms for the $\pi$-calculus	2000-06-13	Paper
Universal abstract consistency class and universal refutation	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4219048	1999-02-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zhou-Jun Li