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 | 9 | 2022 |
User-controlled privacy: taint, track, and control F Hublet, D Basin, S Krstić Proceedings on Privacy Enhancing Technologies, 2024 | 4 | 2024 |
The Databank Model F Hublet ETH Zurich, 2021 | 4 | 2021 |
Enforcing the GDPR F Hublet, D Basin, S Krstić European Symposium on Research in Computer Security, 400-422, 2023 | 2 | 2023 |
IDL-PMCFG, a grammar formalism for describing free word order languages F Hublet Journal of Logic, Language and Information 31 (3), 327-388, 2022 | 1 | 2022 |
Towards an Enforceable GDPR Specification F Hublet, A Kvamme, S Krstić arXiv preprint arXiv:2402.17350, 2024 | | 2024 |