Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. - JAKOBS, MARIE-CHRISTINE; WEHRHEIM, HEIKE (ACM Transactions on Programming Languages & Systems, 2017)