Prasad Prasad Sistla


AuthID: R-00H-A56

Publications Awaiting Confirmation

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
INDEXED IN: DBLP
2
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.
INDEXED IN: DBLP
3
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
INDEXED IN: DBLP
4
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
INDEXED IN: DBLP arXiv
5
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
INDEXED IN: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service