Hashing ATD Tags for Low-overhead Safe Contention Monitoring | Publicación