Search Results - Eeralla, Ajay Kumar

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability

    Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability by Bana, Gergei, Chadha, Rohit, Eeralla, Ajay Kumar, Okada, Mitsuhiro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Bounded ACh unification

    Bounded ACh unification by Eeralla, Ajay Kumar, Lynch, Christopher

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Frequency-Minimal Utility-Maximal Moving Target Defense Against DDoS in SDN-Based Systems

    Frequency-Minimal Utility-Maximal Moving Target Defense Against DDoS in SDN-Based Systems by Debroy, Saptarshi, Calyam, Prasad, Nguyen, Minh, Neupane, Roshan Lal, Mukherjee, Bidyut, Eeralla, Ajay Kumar, Salah, Khaled

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Bounded ACh Unification

    Bounded ACh Unification by Eeralla, Ajay Kumar, Lynch, Christopher

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: