README.md

Formalization of Browser Fingerprinting and Mitigation Methods

Requirements

• UPPAAL version 5.0.0, see uppal downloads

Reproduction of Verification

To reproduce the verification of safety and liveness properties, visit the Verifier tab. Then, click an expression and click Check. A green dot indicates an expression was successfully verified, red indicates failure.

Presentation

The NordSec2024 conference presentation is available in multiple formats (.odp, .pptx , .pdf) within the presentation directory.

Citation

Joslin, N., Phung, P.H., Nguyen, L.V. (2025). Formal Verification of Browser Fingerprinting and Mitigation with Inlined Reference Monitors. In: Horn Iwaya, L., Kamm, L., Martucci, L., Pulls, T. (eds) Secure IT Systems. NordSec 2024. Lecture Notes in Computer Science, vol 15396. Springer, Cham. https://doi.org/10.1007/978-3-031-79007-2_16

Misc

Futher information can be found on the UPPAAl webpage or the tutorial.