3 papers
cs.CR2026
Sharing The Secret: Distributed Privacy-Preserving Monitoring
Mahyar Karimi, K. S. Thejaswini, Roderick Bloem +1
In traditional runtime verification, a system is typically observed by a monolithic monitor. Enforcing privacy in such settings is computationally expensive, as it necessitates hea…
cs.LG2025
Monitoring of Static Fairness
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner +1
Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive att…
cs.CR2025
Privacy-Preserving Runtime Verification
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini
Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure…