Seguir
François Hublet
François Hublet
Institut für Informationssicherheit, ETH Zürich
E-mail confirmado em inf.ethz.ch - Página inicial
Título
Citado por
Citado por
Ano
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
102022
User-controlled privacy: taint, track, and control
F Hublet, D Basin, S Krstić
Proceedings on Privacy Enhancing Technologies, 2024
52024
Enforcing the GDPR
F Hublet, D Basin, S Krstić
European Symposium on Research in Computer Security, 400-422, 2023
42023
The Databank Model
F Hublet
ETH Zurich, 2021
42021
IDL-PMCFG, a grammar formalism for describing free word order languages
F Hublet
Journal of Logic, Language and Information 31 (3), 327-388, 2022
12022
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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–8