Nandi, M and Pandit, T (2019) Predicate signatures from pair encodings via dual system proof technique. In: Journal of Mathematical Cryptology .