3 papers
cs.SE2026
Practical Runtime Enforcement of First-Order Temporal Requirements
François Hublet, David Basin, Srđan Krstić
Runtime enforcers observe a system's behavior and exert control over it to ensure that the system always adheres to its requirements. Many natural requirements not only formulate r…
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…