Privacy-Preserving Runtime Verification
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini

TL;DR
This paper introduces two cryptographic protocols enabling privacy-preserving runtime verification, allowing third-party monitoring of systems against formal specifications without revealing sensitive system data or the specifications themselves.
Contribution
The work presents novel protocols that adapt cryptographic multi-party computation techniques for privacy-preserving runtime verification, minimizing communication overhead and ensuring data confidentiality.
Findings
Protocols verify system compliance without revealing sensitive data.
Implementation for register automata demonstrates practical feasibility.
Single-message exchange per observation step reduces communication overhead.
Abstract
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 compliance with a specification might contain sensitive information, causing privacy concerns when usual runtime verification approaches are used. Privacy is compromised if protected information about the system, or sensitive data that is processed by the system, is revealed. In addition, revealing the specification being monitored may undermine the essence of third-party verification. In this work, we propose two novel protocols for the privacy-preserving runtime verification of systems against formal sequential specifications. In our first protocol, the monitor verifies whether the system satisfies the specification without learning anything else, though both parties are aware of the specification. Our…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSecurity and Verification in Computing · Cloud Data Security Solutions · Advanced Malware Detection Techniques
