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.

Misc

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