Search for: All records

Award ID contains: 2040215

« Prev Next »

Total Resources

5

Resource Type
Conference Paper

5

Conference Proceeding

0

Dataset

0

Journal Article

0

Workshop Report

0

Availability
Full Text / Resource Available

5

Citation Only

0

Save Results
Excel (limit 2000)
CSV (limit 5000)
XML (limit 5000)

Have feedback or suggestions for a way to improve these results?
!

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

The Complexity of Verifying Boolean Programs as Differentially Private

https://doi.org/10.1109/CSF54842.2022.00025

Mark Bun ; Marco Gaboardi ; Ludmila Glinskih ( August 2022 , 2022 IEEE 35th Computer Security Foundations Symposium (CSF))

Full Text Available
The Complexity of Verifying Boolean Programs as Differentially Private

https://doi.org/10.1109/CSF54842.2022.9919653

Bun, Mark ; Gaboardi, Marco ; Glinskih, Ludmila ( August 2022 , IEEE 35th Computer Security Foundations Symposium (CSF))

Full Text Available
Multiclass versus Binary Differentially Private PAC Learning

Sivakumar, Satchit ; Bun, Mark ; Gaboardi, Marco ( December 2021 , Advances in Neural Information Processing Systems 34 (NeurIPS 2021))

Full Text Available
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation

Brown, Gavin ; Gaboardi, Marco ; Smith, Adam ; Ullman, Jonathan ; Zakynthinou, Lydia ( December 2021 , Advances in Neural Information Processing Systems 34 (NeurIPS 2021))

Full Text Available
Coupled Relational Symbolic Execution for Differential Privacy.

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco ( March 2021 , Programming Languages and Systems. ESOP 2021. Lecture Notes in Computer Science,)
Yoshida, Nobuko (Ed.)
Full Text Available