publications

More on their way!.

2022

  1. An Empirical Snapshot of Differential Privacy in Graph Analysis Applications
    Aashish Kolluri, Kareem Shehata, and Prateek Saxena
    In submission at Usenix Security Symposium 2022

2021

  1. Private Hierarchical Clustering in Federated Networks
    Aashish Kolluri, Teodora Baluta, and Prateek Saxena
    In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security 2021
  2. SynGuar: Guaranteeing Generalization in Programming by Example
    Bo Wang, Teodora Baluta, Aashish Kolluri, and Prateek Saxena
    In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021
  3. Localizing Vulnerabilities Statistically From One Exploit
    Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, and Abhik Roychoudhury
    In Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security (AsiaCCS) 2021

2019

  1. Exploiting the Laws of Order in Smart Contracts
    In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2019

2018

  1. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
    Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor
    In Proceedings of the 34th Annual Computer Security Applications Conference 2018
  2. (Invited Paper) on the Security of Blockchain Consensus Protocols
    Sourav Das, Aashish Kolluri, Prateek Saxena, and Haifeng Yu
    In 14th International Conference, ICISS 2018