2014 IEEE 55th Annual Symposium on Foundations of Computer Science