Zhoujun 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é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
Efficient and provably secure generic construction of client-to-client password-based key exchange protocol	2014-05-13	Paper
Modeling and verifying time sensitive security protocols with constraints	2014-05-13	Paper
A novel derivation framework for definite logic program	2014-05-13	Paper
A provably secure authenticated key agreement protocol for wireless communications	2012-10-19	Paper
The construction of fuzzy concept lattices based on \((\theta , \sigma )\)-fuzzy rough approximation operators	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
Hamiltonian Property on Binary Recursive Networks	2009-03-10	Paper
Constraints Solution for Time Sensitive Security Protocols	2009-03-10	Paper
Constraint Abstraction in Verification of Security Protocols	2008-06-19	Paper
SPVT: an efficient verification tool for security protocols	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

This page was built for person: Zhoujun Li