Demonstrates secure monitoring of vehicle behavior using encrypted signals.
In runtime verification, monitored data often contains sensitive information, and it is critical for a remote monitor to maintain the confidentiality of the monitored data. ArithHomFA is a prototype toolkit for oblivious online monitoring of discrete-time signal temporal logic (STL) . Based on fully homomorphic encryption (FHE) , ArithHomFA enables users to 1) encrypt a sequence of vectors representing a discrete signal, 2) construct a sequence of ciphertexts representing whether the encrypted signal satisfies the given requirement without decryption, and 3) decrypt the resulting ciphertexts. We illustrate the practicality of ArithHomFA through an example of monitoring vehicle behavior.
No takes yet. Share an insight, caveat, or question.
Waga et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: