SPPEAR: security & privacy-preserving architecture for participatory-sensing applications
On the security of public key protocols