Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker. - Gergei Bana; Rohit Chadha; Ajay Kumar Eeralla (IACR Cryptol. ePrint Arch., 2018)

Rule-Based Unification in Combined Theories and the Finite Variant Property. - Ajay Kumar Eeralla; Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (LATA, 2019)

Bounded ACh unification. - Ajay Kumar Eeralla; Christopher Lynch (Math. Struct. Comput. Sci., 2020)

Frequency-Minimal Utility-Maximal Moving Target Defense Against DDoS in SDN-Based Systems. - Saptarshi Debroy; Prasad Calyam; Minh Nguyen; Roshan Lal Neupane; Bidyut Mukherjee; Ajay Kumar Eeralla; Khaled Salah 001 (IEEE Trans. Netw. Serv. Manag., 2020)

Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability. - Gergei Bana; Rohit Chadha; Ajay Kumar Eeralla; Mitsuhiro Okada (ACM Trans. Comput. Log., 2020)