PROVI . 1 First Summary Report on Two-Party Protocols