BDD-based cryptanalysis of stream cipher: a practical approach. - Harish Kumar Sahu; Indivar Gupta; N. Rajesh Pillai; Rajendra Kumar Sharma (IET Inf. Secur., 2017)

SMT Solver-Based Cryptanalysis of Block Ciphers. - Harish Kumar Sahu; N. Rajesh Pillai; Indivar Gupta; Rajendra Kumar Sharma (SN Comput. Sci., 2020)

A Post-Quantum End-to-End Encryption Protocol. - Shashvat Sharma; Meenakshi Tripathi; Harish Kumar Sahu; Ashish Karan (ANTS, 2023)

Results on approximate controllability for a second-order semilinear nonlocal control system with monotonic nonlinearity. - Urvashi Arora; V. Vijayakumar 001; Arun Kumar Singh; Harish Kumar Sahu; Anurag Shukla (J. Control. Decis., 2024)