2012 IEEE 53rd Annual Symposium on Foundations of Computer Science