Hybrid Information Flow Monitoring Against Web Tracking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Hybrid Information Flow Monitoring Against Web Tracking


Motivated by the problem of stateless web tracking (fingerprinting), we propose a novel approach to hybrid information flow monitoring by tracking the knowledge about secret variables using logical formulae. This knowledge representation helps to compare and improve precision of hybrid infor- mation flow monitors. We define a generic hybrid monitor parametrised by a static analysis and derive sufficient conditions on the static analysis for sound- ness and relative precision of hybrid monitors. We instantiate the generic monitor with a combined static constant and dependency analysis. Several other hybrid monitors including those based on well-known hybrid techniques for information flow control are formalised as instances of our generic hybrid monitor. These monitors are organised into a hierarchy that establishes their relative precision. The whole framework is accompanied by a formalisation of the theory in the Coq proof assistant.
Fichier principal
Vignette du fichier
hybrid_information_flow_monitoring_against_web_tracking.pdf (297.7 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00924138 , version 1 (06-01-2014)



Frédéric Besson, Nataliia Bielova, Thomas Jensen. Hybrid Information Flow Monitoring Against Web Tracking. CSF - 2013 IEEE 26th Computer Security Foundations Symposium, 2013, New Orleans, United States. ⟨10.1109/CSF.2013.23⟩. ⟨hal-00924138⟩
360 View
223 Download



Gmail Mastodon Facebook X LinkedIn More