Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5 Publications


2026 | Published | Thesis | MS | IST-REx-ID: 21401 | OA
Karimi, Mahyar. Privacy-Preserving Runtime Verification. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21401.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 22318 | OA | PlanS
Henzinger, Monika, et al. “Concurrent Composition for Differentially Private Continual Mechanisms.” Proceedings of the ACM on Management of Data, vol. 4, no. 2, Association for Computing Machinery, 2026, pp. 1–26, doi:10.1145/3801895.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22146 | OA
Kalinin, Nikita, and Joel D. Andersson. “Learning Rate Scheduling with Matrix Factorization for Private Training.” 7th Symposium on Foundations of Responsible Computing, vol. 368, 2:1-2:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.FORC.2026.2.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22102 | OA | PlanS
Chatterjee, Krishnendu, et al. “SuperDP: Differential Privacy Refutation via Supermartingales.” Proceedings of the ACM on Programming Languages, vol. 10, no. PLDI, 218, ACM, 2026, doi:10.1145/3808296.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Thesis | PhD | IST-REx-ID: 22857 | OA
Bombari, Simone. Trustworthy Machine Learning in High Dimensions. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22857.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

keyword="privacy"

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed