We initiate the study of unique group signature such that signatures of the same message by
the same user will always have a large common component (ie, unique identifier). It enables …

Formal and symbolic techniques are extremely useful for modelling and analysing security
protocols. They have helped to improve our understanding of such protocols, allowed us to …

In this paper, we investigate a new concept, called share selectable secret sharing, where
no unauthorized set can obtain information of the secret (in the information-theoretic sense) …

Abstract Identity-Based Encryption (IBE) suffers from the problem of trust in the Private Key
Generator (PKG), which translates into the ability of the PKG to produce and distribute …

Abstract Public-key Encryption with Keyword Search (PEKS) allows authorized users to
search by keywords on encrypted data by generating trapdoors for the desired keywords …

An authentication protocol is a procedure by which a sender tries to convey n bits of
information, which we call an input message, to a receiver. An adversary controls the …