ProfileOfResearchers

TÃTULO: Deciding accuracy of differential privacy schemes
AUTORES: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: POPL

INDEXADO EM:

DBLP

TÃTULO: Deciding Differential Privacy for Programs with Finite Inputs and Outputs
AUTORES: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2020, FONTE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.

INDEXADO EM:

DBLP

TÃTULO: Deciding Accuracy of Differential Privacy Schemes
AUTORES: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2011.06404

INDEXADO EM:

DBLP

TÃTULO: Automated Methods for Checking Differential Privacy PDF
AUTORES: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.04137

INDEXADO EM:

DBLP

arXiv

TÃTULO: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings
AUTORES: Allen Allen Emerson; Prasad Prasad Sistla;
PUBLICAÇÃO: 2000, FONTE: CAV, VOLUME: 1855

INDEXADO EM:

DBLP

Links Úteis