Mahyar Karimi

4 Publications

Mark all

[4]
2026 | Published | Thesis | MS | IST-REx-ID: 21401 | OA
Karimi M. 2026. Privacy-preserving runtime verification. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
[3]
2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 2774–2787.
[Published Version] View | Files available | DOI | arXiv
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Runtime monitoring of dynamic fairness properties. FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. FAccT: Conference on Fairness, Accountability and Transparency, 604–614.
[Published Version] View | Files available | DOI | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed

Grants


4 Publications

Mark all

[4]
2026 | Published | Thesis | MS | IST-REx-ID: 21401 | OA
Karimi M. 2026. Privacy-preserving runtime verification. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
[3]
2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 2774–2787.
[Published Version] View | Files available | DOI | arXiv
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Runtime monitoring of dynamic fairness properties. FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. FAccT: Conference on Fairness, Accountability and Transparency, 604–614.
[Published Version] View | Files available | DOI | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed