This document proposes a Securely Re-Encrypted PHR Shared to Users Efficiently in Cloud Computing (SeSPHR) system. The SeSPHR system aims to securely store and share patients' Personal Health Records (PHRs) with authorized entities in the cloud while preserving privacy. It encrypts PHRs stored on untrusted cloud servers and only allows verified users access using re-encryption keys from a semi-trusted proxy server. The system enforces patient-centric access management of PHR components based on access levels and supports dynamic addition and removal of authorized users. The operation of SeSPHR was analyzed and verified using High-Level Petri Nets, SMT-Lib and Z3 solver. Performance analysis