MedZKChain: Attribute-Based, Privacy-Preserving Device Verification and Access Authorization for Healthcare Using Blockchain and zk-SNARKs | IEEE Conference Publication | IEEE Xplore