Efficient authentication and verification of certificate status within public-key infrastructures