Real-time policy enforcement with metric first-order temporal logic F Hublet, D Basin, S Krstić European Symposium on Research in Computer Security, 211-232, 2022 | 10 | 2022 |
Enforcing the GDPR F Hublet, D Basin, S Krstić European Symposium on Research in Computer Security, 400-422, 2023 | 6 | 2023 |
User-controlled privacy: Taint, track, and control F Hublet, D Basin, S Krstić Proceedings on Privacy Enhancing Technologies, 2024 | 5 | 2024 |
The Databank Model F Hublet ETH Zurich, 2021 | 4 | 2021 |
IDL-PMCFG, a grammar formalism for describing free word order languages F Hublet Journal of Logic, Language and Information 31 (3), 327-388, 2022 | 2 | 2022 |
Proactive Real-Time First-Order Enforcement F Hublet, L Lima, D Basin, S Krstić, D Traytel International Conference on Computer Aided Verification, 156-181, 2024 | 1 | 2024 |
Towards an Enforceable GDPR Specification F Hublet, A Kvamme, S Krstić arXiv preprint arXiv:2402.17350, 2024 | | 2024 |
Where the Borders Lie: Mapping Cross-Border Communities in 10 Western European Countries A Sallard, F Hublet Transportation Research Record, 03611981241254389, 2024 | | 2024 |