Multi-program secure computation
==================================================