Zaslat SMS: 2013 IEEE Conference on Computational Complexity