Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering
how to play any mental game or a completeness theorem for protocols with honest majority .