Verification of classical certificates via nested certificates and nested certificate paths | IEEE Conference Publication | IEEE Xplore