François Hublet

According to our database, François Hublet authored at least 9 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Artifact for "Proactive Real-Time First-Order Enforcement".

François Hublet, Leonardo Lima, David A. Basin, Dmitriy Traytel, Srdan Krstic

Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".

François Hublet, Leonardo Lima, David A. Basin, Dmitriy Traytel, Srdan Krstic

Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".

François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel

Dataset, April, 2024

User-Controlled Privacy: Taint, Track, and Control.

François Hublet, David A. Basin, Srdan Krstic

Proc. Priv. Enhancing Technol., January, 2024

Towards an Enforceable GDPR Specification.

François Hublet, Alexander Kvamme, Srdan Krstic

CoRR, 2024

Proactive Real-Time First-Order Enforcement.

François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Enforcing the GDPR.

François Hublet, David A. Basin, Srdan Krstic

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages.

François Hublet

J. Log. Lang. Inf., 2022

Real-Time Policy Enforcement with Metric First-Order Temporal Logic.

François Hublet, David A. Basin, Srdan Krstic

Proceedings of the Computer Security - ESORICS 2022, 2022