Guardtime is a company that has expertise in the design and implementation of machines – distributed virtualized computers that execute tasks with cryptographic proof of correctness. Its products include VaccineGuard, a verifiable vaccination certificate platform enabling management of vaccination campaigns and distribution of vaccines, HSX, a platform that provides immutable audit trails for patient health care records, SCM, a platform that provides supply chain solutions, etc. The company offers distribution, reporting, analysis, delivery, secure transport, and other services.