Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science
ACM Digital Library