Aarhus University Seal / Aarhus Universitets segl

The journal version of Automated Detection of Client-State Manipulation Vulnerabilities is accepted at ACM TOSEM