Automated Deduction with Formal Methods in Computer Architecture. - Sarangapani Nivarthi; Keerti Rai; Abhinav (ICCCNT, 2024)

Optimizing the Efficiency of Applied Cryptography Algorithms for Blockchain Networks. - Keerti Rai; Abhinav; Richa Tiwari (ICCCNT, 2024)

Nonlinear Regression Models in Power System Optimization. - Keerti Rai; Surjeet Yadav; Shalini R (ICCCNT, 2024)

Embedding Advanced Security Protocols to Enhance EMC in Networking Systems. - Shiv Shankar Shankar; Ashutosh Pattanaik; Keerti Rai (ICCCNT, 2024)