Aarhus University Seal

ACM SIGSOFT Distinguished Paper award for the paper Automated Detection of Client-State Manipulation Vulnerabilities at ICSE'12