François Hublet

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Policy Enforcement

Mazurkiewicz Traces

Temporally Extended

Top Venues

J. Log. Lang. Inf.

Publications

François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
Proactive Real-Time First-Order Enforcement. CAV (2) (2024)
François Hublet, David A. Basin, Srdan Krstic
User-Controlled Privacy: Taint, Track, and Control. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
François Hublet, Alexander Kvamme, Srdan Krstic
Towards an Enforceable GDPR Specification. CoRR (2024)
François Hublet, David A. Basin, Srdan Krstic
Enforcing the GDPR. ESORICS (2) (2023)
François Hublet
IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages. J. Log. Lang. Inf. 31 (3) (2022)
François Hublet, David A. Basin, Srdan Krstic
Real-Time Policy Enforcement with Metric First-Order Temporal Logic. ESORICS (2) (2022)