Resource Competitive Analysis

In this area, I am currently working towards formalizing a general framework for resource-competitive analysis (as proposed by Bender et. al. in 2015) of distributed computing protocols using a modular approach. On a high level, this involves setting basic building blocks of such protocols along with operators for their composition under various models in this framework.

Some of the work I have already done in this area is as follows. A significant amount is currently in progress and is expected to be added here soon.

  • Aggarwal, A., Dani, V., Hayes, Thomas P., Saia, J. Sending a Message with Unknown Noise.  In 19th International Conference on Distributed Computing and Networking (ICDCN) (2018) [pdf] [talk]
  • Aggarwal, A., Dani, V., Hayes, Thomas P., Saia, J. Distributed Computing with Channel Noise. ( 20170725:171227) (2017) [pdf

Scalable Distributed Computing

In collaboration with researchers from Visa Research, String Labs and the University of Houston, I am currently working towards designing scalable protocols for implicit leader election and view-reconciliation during Sybil defense in the presence of a Byzantine adversary.

Some of the work I have already done in this area (including past projects) is listed as follows. An interesting project is currently in progress and is expected to be added here soon.

  • Aggarwal, A., Guo, Y. A Simple Reduction from State Machine Replication to Binary Agreement in Partially Synchronous or Asynchronous Networks. ( 20180116:131918) (2018). [pdf]

BAR Tolerant Distributed Computing

In collaboration with colleagues at UNM and researcher(s) from Visa Research, I have recently started working towards designing BAR (Byzantine, Altruistic, Rational) fault-tolerant distributed protocols for various applications, including Sybil defense, global coin, append-only dictionaries and multi-party computation, in general.

Some of the work I have already done in this area (including past projects, closely related to this area) is listed as follows. A significant amount is currently in progress and is expected to be added here soon.

  • Aggarwal, A., Zamani, M., Christodorescu, M. Revisiting Remote-Attack Prevention: Challenges in Achieving Complete Decentralization. (Technical Report) (2018) [pdf]
  • Aggarwal, A., Zamani, M., Christodorescu, M. Incentive-Driven Remote Configuration of Security Gateways. (arXiv: 1709.04569) (2017) [pdf] [talk] [poster]


In collaboration with other researchers and colleagues from UNM and Verint Intelligent Self-Service, I am trying to diversify my portfolio by exploring some interesting problems in the area of MCMC (Markov Chain Monte Carlo) and Model-Agnostic Interpretation of Machine Learning Algorithms.

Some of the work I have already done in this area (including past projects and research reports as part of coursework) is listed as follows. A couple of interesting projects are currently in progress and are expected to be added here soon. 

  • Aggarwal, A., Castellanos Joo, J. A., Gupta, D. Beating the Multiplicative Weights Update Algorithm. (arXiv: 1708.04668) (2017) [pdf
  • Aggarwal, A. On the Equivalence of Probabilistic Automata: A Brief Literature Review. Technical Report. UNM 2015. [pdf] [talk]
  • Aggarwal, A. Evolving Random Sequences using a Genetic Algorithm. Technical Report. UNM 2015. [pdf]
  • Aggarwal, A. Probabilistic Programs and their Verification: A Brief Survey. Technical Report. UNM 2014. [pdf]


  • Aggarwal, A., Mohavedi, M.Zamani. M. Sybil-Resistant Identity Generation. (Provisional) Patent, Visa Research (2018).
  • Freeman, C., Aggarwal, A., Merriman, J., Beaver, I. Model-Agnostic Visualizations using Linear Programming Approximation. (Pending) Patent, Verint Intelligent Self-Service (2018).
  • Freeman, C., Merriman, J., Aggarwal, A., Beaver, I., Mueen, A. Paying Attention to Attention: Highlighting Influential Samples in Sequential Analysis. (Pending) Patent, Verint Intelligent Self-Service (2018).
  • Aggarwal, A., Zamani. M, Christodorescu, M. Remote Configuration of Security Gateways. (Provisional) Patent, Visa Research (2017).


Projects Completed Prior to my Ph.D.

Some of the projects I completed as part of my Master’s thesis and other coursework at the Indian Institute of Technology, Roorkee is listed as follows.

  • Aggarwal, A., A Similarity Criterion for Sequential Programs using Truth-Preserving Partial Functions. (arXiv: 1708.05640) Master’s Thesis (2014). [pdf
  • Aggarwal, A., Kumar, PA Theory of Function-Induced Orders to Study Recursion Termination. Technical Report. IITR 2013. [pdf]
  • Aggarwal, A., Srivastava, R., Malik, S., Meena, K., Poonam. Virtual Differential Storage Based k-Rollback Concurrency Control Algorithm in Distributed Shared Memory Systems. Technical Report. IITR 2012. [pdf]
  • Jaya, Malik, S., Aggarwal, A., Sardana, A. Novel Authentication System using Visual Cryptography. In Information and Communication Technologies (WICT), World Congress (pp. 1181-1186), IEEE (2011). [pdf]

NOTE: In theoretical computer science, it is standard to list author names in alphabetical order.