Thomas A. Henzinger

The paper proposes a distributed, privacy-preserving monitoring architecture that uses secret-sharing to efficiently monitor systems with continuous state, overcoming the scalability issues of traditional cryptographic methods.