Prasad Prasad Sistla
AuthID: R-00H-A56
1
TITLE: Deciding accuracy of differential privacy schemes
AUTHORS: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: POPL
AUTHORS: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: POPL
INDEXED IN: 
DBLP
DBLP2
TITLE: Deciding Differential Privacy for Programs with Finite Inputs and Outputs
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
INDEXED IN: DBLP
DBLP3
TITLE: Deciding Accuracy of Differential Privacy Schemes
AUTHORS: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2011.06404
AUTHORS: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2011.06404
INDEXED IN: DBLP
DBLP4
TITLE: Automated Methods for Checking Differential Privacy PDF
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.04137
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.04137
INDEXED IN: DBLP 
arXiv
DBLP arXiv5
TITLE: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings
AUTHORS: Allen Allen Emerson; Prasad Prasad Sistla;
PUBLISHED: 2000, SOURCE: CAV, VOLUME: 1855
AUTHORS: Allen Allen Emerson; Prasad Prasad Sistla;
PUBLISHED: 2000, SOURCE: CAV, VOLUME: 1855
INDEXED IN: DBLP
DBLP