Use of a Duplex Construction of SHA-3 for Certificate Revocation in VANETs In Proceedings of the 10th International Workshop on Security in Information Systems - Volume 0ICEIS, 3-11, 2013 , Angers, France