A provably secure identity-based aggregate signcryption scheme for Vehicle-to-Infrastructure communication in VANETs | AI Sec Watch