Non-malleable Reductions and Applications (Proceedings of the forty-seventh annual ACM symposium on Theory of Computing)