Formal Verification of Browser Fingerprinting and Mitigation with Inlined Reference Monitors. - Nathan Joslin; Phu H. Phung; Luan Viet Nguyen (NordSec, 2024)