• Aggarwal, A., Dani, V., Hayes, Thomas P., Saia, J. Sending a Message with Unknown Noise.  ICDCN 2018 [pdf] [talk]
  • Aggarwal, A., Zamani, M., Christodorescu, M. Revisiting Remote-Attack Prevention: Challenges in Achieving Complete Decentralization. (Technical Report) (2018) [pdf]
  • Aggarwal, A., Guo, Y. A Simple Reduction from State Machine Replication to Binary Agreement in Partially Synchronous or Asynchronous Networks. ( 20180116:131918) (2018). [pdf]
  • Aggarwal, A., Dani, V., Hayes, Thomas P., Saia, J. Distributed Computing with Channel Noise. ( 20170725:171227) (2017) [pdf
  • Aggarwal, A., Zamani, M., Christodorescu, M. Incentive-Driven Remote Configuration of Security Gateways. (arXiv: 1709.04569) (2017) [pdf] [talk] [poster]
  • 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.