2 papers
cs.LO2026
Policy Change for Treelike Monitors
François Hublet, Dhruv Nevatia, Joshua Schneider
We study the policy change problem that arises in the runtime verification of long-running systems. The online monitors typically used in this context are generally treelike, in th…
cs.CR2024
Towards an Enforceable GDPR Specification
François Hublet, Alexander Kvamme, Srđan Krstić
While Privacy by Design (PbD) is prescribed by modern privacy regulations such as the EU's GDPR, achieving PbD in real software systems is a notoriously difficult task. One emergin…