Real-Time Policy Enforcement with Metric First-Order Temporal Logic. - François Hublet; David A. Basin; Srdan Krstic (ESORICS (2), 2022)

IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages. - François Hublet (J. Log. Lang. Inf., 2022)

Enforcing the GDPR. - François Hublet; David A. Basin; Srdan Krstic (ESORICS (2), 2023)

Proactive Real-Time First-Order Enforcement. - François Hublet; Leonardo Lima 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (CAV (2), 2024)

Towards an Enforceable GDPR Specification. - François Hublet; Alexander Kvamme; Srdan Krstic (CoRR, 2024)

User-Controlled Privacy: Taint, Track, and Control. - François Hublet; David A. Basin; Srdan Krstic (Proc. Priv. Enhancing Technol., 2024)

Artifact for "Proactive Real-Time First-Order Enforcement". - François Hublet; Leonardo Lima 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (Zenodo, 2024)

Artifact for "Proactive Real-Time First-Order Enforcement". - François Hublet; Leonardo Lima 001; David A. Basin; Dmitriy Traytel; Srdan Krstic (Zenodo, 2024)

Artifact for "Proactive Real-Time First-Order Enforcement". - François Hublet; Leonardo Lima 001; David A. Basin; Dmitriy Traytel; Srdan Krstic (Zenodo, 2024)

Scaling Up Proactive Enforcement. - François Hublet; Leonardo Lima 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (CAV (3), 2025)