Vishal Jagannath

According to our database, Vishal Jagannath authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Deciding Differential Privacy for Programs with Finite Inputs and Outputs.

Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Automated Methods for Checking Differential Privacy.

Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan

CoRR, 2019

2017

On Petri Nets with Hierarchical Special Arcs.

S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep

Proceedings of the 28th International Conference on Concurrency Theory, 2017