GitHub repository: nathan-joslin/BrowserFingerprintingFormalization
Created: 2024-08-29T00:55:47Z
Description: A formalization of browser fingerprinting using timed automata. Evaluated using UPPAAL.