ติดตาม
François Hublet
François Hublet
Institut für Informationssicherheit, ETH Zürich
ยืนยันอีเมลแล้วที่ inf.ethz.ch - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
Enforcing the GDPR
F Hublet, D Basin, S Krstić
European Symposium on Research in Computer Security, 400-422, 2023
62023
User-controlled privacy: Taint, track, and control
F Hublet, D Basin, S Krstić
Proceedings on Privacy Enhancing Technologies, 2024
52024
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
22022
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
12024
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
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–8