Copertina

Watching TV with the Second-Party: A First Look at Automatic Content Recognition Tracking in Smart TVs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Anselmi, Gianluca, Vekaria, Yash, D'Souza, Alexander, Callejo, Patricia, Mandalari, Anna Maria, Shafiq, Zubair
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Computers and Society Networking and Internet Architecture K.4.1; H.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Big Help or Big Brother? Auditing Tracking, Profiling, and Personalization in Generative AI Assistants
di: Vekaria, Yash, et al.
Pubblicazione: (2025)

Towards Multi-Stakeholder Vulnerability Notifications in the Ad-Tech Supply Chain
di: Vekaria, Yash, et al.
Pubblicazione: (2024)

Auditing the Compliance and Enforcement of Twitter's Advertising Policy
di: Vekaria, Yash, et al.
Pubblicazione: (2023)

PixelConfig: Longitudinal Measurement and Reverse-Engineering of Meta Pixel Configurations
di: Ghani, Abdullah, et al.
Pubblicazione: (2026)

Stratified Type Theory
di: Chan, Jonathan, et al.
Pubblicazione: (2023)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
di: Xu, Qiyuan, et al.
Pubblicazione: (2024)

SoK: Advances and Open Problems in Web Tracking
di: Vekaria, Yash, et al.
Pubblicazione: (2025)

Well-Scoped Locally Nameless Representation of Syntax
di: Pitts, Andrew M.
Pubblicazione: (2026)

The General and Finite Satisfiability Problems for PCTL are Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
di: Hellwig, Jonathan, et al.
Pubblicazione: (2025)

The Thins Ordering on Relations
di: Voermans, Ed, et al.
Pubblicazione: (2024)

Diagonals and Block-Ordered Relations
di: Backhouse, Roland, et al.
Pubblicazione: (2024)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

Probabilistic Epistemic Dynamic Agentive Logic
di: Logan, Shay Allen
Pubblicazione: (2026)

How to Verify a Turing Machine with Dafny
di: Lederer, Edgar F. A.
Pubblicazione: (2026)

A University Framework for the Responsible use of Generative AI in Research
di: Smith, Shannon, et al.
Pubblicazione: (2024)

Verifying Tree-Manipulating Programs via CHCs
di: Faella, Marco, et al.
Pubblicazione: (2025)

Generative AI Use in Professional Graduate Thesis Writing: Adoption, Perceived Outcomes, and the Role of a Research-Specialized Agent
di: Saito, Kenji, et al.
Pubblicazione: (2026)

Extending the Quantitative Pattern-Matching Paradigm
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Separation Logic of Generic Resources via Sheafeology
di: van Starkenburg, Berend, et al.
Pubblicazione: (2025)

Architecting Long-Context LLM Acceleration with Packing-Prefetch Scheduler and Ultra-Large Capacity On-Chip Memories
di: Lee, Ming-Yen, et al.
Pubblicazione: (2025)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
di: Waldinger, Richard
Pubblicazione: (2025)

Strategies, model checking and branching-time properties in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
di: Prebet, Enguerrand, et al.
Pubblicazione: (2026)

Simple Types for Polymorphic Functions
di: Jay, Barry, et al.
Pubblicazione: (2026)

Model checking strategy-controlled systems in rewriting logic
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Metalevel transformation of strategies
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Infinitary Refinement Types for Temporal Properties in Scott Domains
di: Riba, Colin, et al.
Pubblicazione: (2025)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
di: Klaus, Natalia, et al.
Pubblicazione: (2026)

Uniform Substitution for Differential Refinement Logic
di: Prebet, Enguerrand, et al.
Pubblicazione: (2024)

Tracking Conversations: Measuring Content and Identity Exposure on AI Chatbots
di: Jazlan, Muhammad, et al.
Pubblicazione: (2026)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

TokenStack: A Heterogeneous HBM-PIM Architecture and Runtime for Efficient LLM Inference
di: Li, Zhuoran, et al.
Pubblicazione: (2026)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
di: Aiswarya, C, et al.
Pubblicazione: (2024)

A Type Theory for Probabilistic and Bayesian Reasoning
di: Adams, Robin, et al.
Pubblicazione: (2015)

AI to Learn 2.0: A Deliverable-Oriented Governance Framework and Maturity Rubric for Opaque AI in Learning-Intensive Domains
di: Shintani, Seine A.
Pubblicazione: (2026)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
di: Hellwig, Jonathan, et al.
Pubblicazione: (2025)

OpenID for European Digital Identity: An architectural analysis of user-centric identity management
di: Termont, Wouter, et al.
Pubblicazione: (2026)