Text this: Foundations of Programmable Secure Computation