Privacy-preserving runtime verification
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.

Concurrent composition for differentially private continual mechanisms
M. Henzinger, R. Safavi Hemami, S. Vadhan, Proceedings of the ACM on Management of Data 4 (2026) 1–26.

Learning rate scheduling with matrix factorization for private training
N. Kalinin, J.D. Andersson, in:, 7th Symposium on Foundations of Responsible Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.

SuperDP: Differential privacy refutation via supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, Proceedings of the ACM on Programming Languages 10 (2026).

Trustworthy machine learning in high dimensions
S. Bombari, Trustworthy Machine Learning in High Dimensions, Institute of Science and Technology Austria, 2026.