A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods.

Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone

Browse the full KES paper archive.