Ajay Kumar Eeralla

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 7

Top Topics

Private Information

Theorem Proving

Moving Target Defense

Formal Analysis

Top Venues

IEEE Trans. Netw. Serv. Manag.

Math. Struct. Comput. Sci.

ACM Trans. Comput. Log.

Publications

Saptarshi Debroy, Prasad Calyam, Minh Nguyen, Roshan Lal Neupane, Bidyut Mukherjee, Ajay Kumar Eeralla, Khaled Salah
Frequency-Minimal Utility-Maximal Moving Target Defense Against DDoS in SDN-Based Systems. IEEE Trans. Netw. Serv. Manag. 17 (2) (2020)
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla, Mitsuhiro Okada
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability. ACM Trans. Comput. Log. 21 (1) (2020)
Ajay Kumar Eeralla, Christopher Lynch
Bounded ACh unification. Math. Struct. Comput. Sci. 30 (6) (2020)
Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Rule-Based Unification in Combined Theories and the Finite Variant Property. LATA (2019)
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker. ESORICS (2) (2018)
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla
Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker. IACR Cryptol. ePrint Arch. 2018 (2018)
Ajay Kumar Eeralla, Christopher Lynch
Bounded ACh Unification. CoRR (2018)