Saudagar Subhash Barde

Formal security proofs for medical cryptographic protocols

R. G. Hemanth Kumar, Varun Kumar Sharma, Saudagar Subhash Barde, Y. Vijay Kumar, C. Kavitha, Ponmurugan Panneerselvam

In this paper: Given the critical role of medical information in medical cryptographic processes, it is essential to have rigorous security validation to prevent any vulnerabilities in the authentication process tha...