Evaluation of congestion-based certificate omission in VANETs | IEEE Conference Publication | IEEE Xplore