A digital “Yellow Card” for securely recording vaccinations using Community PKI certificates | IEEE Conference Publication | IEEE Xplore