Journal: Foundations and Trends in Theoretical Computer Science