Checking Compliance of X.509 Digital Certificates over IPv6 with Specifications. - Chao Zhang; Donggang Yang; Chu Chen; Pinghong Ren (CIAT, 2020)