On Petri Nets with Hierarchical Special Arcs. - S. Akshay 001; Supratik Chakraborty; Ankush Das; Vishal Jagannath; Sai Sandeep (CONCUR, 2017)

Automated Methods for Checking Differential Privacy. - Gilles Barthe; Rohit Chadha; Vishal Jagannath; A. Prasad Sistla; Mahesh Viswanathan 001 (CoRR, 2019)

Deciding Differential Privacy for Programs with Finite Inputs and Outputs. - Gilles Barthe; Rohit Chadha; Vishal Jagannath; A. Prasad Sistla; Mahesh Viswanathan 001 (LICS, 2020)