| Frequency-minimal utility-maximal moving target defense against DDoS in SDN-based systems S Debroy, P Calyam, M Nguyen, RL Neupane, B Mukherjee, AK Eeralla, ... IEEE Transactions on Network and Service Management 17 (2), 890-903, 2020 | 27 | 2020 |
| Formal analysis of vote privacy using computationally complete symbolic attacker G Bana, R Chadha, AK Eeralla European Symposium on Research in Computer Security, 350-372, 2018 | 18 | 2018 |
| Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker G Bana, R Chadha, AK Eeralla https://eprint.iacr.org/2018/624, 2018 | 18 | 2018 |
| Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker G Bana, R Chadha, AK Eeralla http://prosecco.gforge.inria.fr/personal/gebana/foo_long.pdf, 2018 | 18 | 2018 |
| Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability G Bana, R Chadha, AK Eeralla, M Okada ACM Transactions on Computational Logic (ToCL) 21 (1), 1-44, 2019 | 17 | 2019 |
| Rule-Based Unification in Combined Theories and the Finite Variant Property AK Eeralla, S Erbatur, AM Marshall, C Ringeissen 13th International Conference on Language and Automata Theory and …, 2019 | 8 | 2019 |
| Bounded ACh unification AK Eeralla, C Lynch Mathematical Structures in Computer Science 30 (6), 664-682, 2020 | 7 | 2020 |
| Bounded ACh Unification. CoRR abs/1811.05602 (2018) AK Eeralla, C Lynch | 2 | 1811 |
| Unification in Non-Disjoint Combinations with Forward-Closed Theories AK Eeralla, S Erbatur, AM Marshall, C Ringeissen https://members.loria.fr/CRingeissen/files/papers/combi-fc.pdf, 0 | 2* | |
| E-Brightpass: A Secure way to access social networks on smartphones C Thotadi, M Debbala, S Rao, A Eeralla, B Palaniswamy, S Mookherji, ... Cyber Security and Applications 2, 100021, 2024 | | 2024 |
| Introduction to the special issue: Unification M Ayala-Rincón, P Balbiani Mathematical Structures in Computer Science 30 (6), 570-571, 2020 | | 2020 |
| Machine-Aided Analysis of Vote Privacy using Computationally Complete Symbolic Attacker AK Eeralla University of Missouri-Columbia, 2019 | | 2019 |
| Bounded Homomorphic Unification AK Eeralla Clarkson University, 2014 | | 2014 |
| Welcome to MVD 2016 S Basu, G Ciardo, A Miner, K Rozier, ISUC Map | | |
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
