Implementation Project ideas

• Develop a module for secure multi-party computation in Charm. CACE folks already have a Python implementation based on the Twisted Framework. Understand their system and how we could possibly improve on their research ideas in our framework. See VIFF Documentation.
• Add formal verification (perhaps using CACE formal verification tools) to Charm generated ZK protocols taking advantage of open-source theorem provers.