Ajay Kumar Eeralla

According to our database, Ajay Kumar Eeralla authored at least 5 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

IEEE Trans. Netw. Serv. Manag., 2020

Bounded ACh unification.

Ajay Kumar Eeralla, Christopher Lynch

Math. Struct. Comput. Sci., 2020

2019

Rule-Based Unification in Combined Theories and the Finite Variant Property.

Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Language and Automata Theory and Applications, 2019

2018

Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker.

Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla

IACR Cryptol. ePrint Arch., 2018