François Hublet

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

Collaborative distances:

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

2025

Instrumenting Runtime Enforcement.

François Hublet, David A. Basin, Linda Hu, Srdan Krstic, Lennard Reese

Proceedings of the Runtime Verification - 25th International Conference, 2025

Mechanizing Privacy by Design.

David A. Basin, François Hublet, Srdan Krstic, Hoàng Nguyen

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

Scaling Up Proactive Enforcement.

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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