Two Provers in Isolation. - Claude Crépeau; Louis Salvail; Jean-Raymond Simard; Alain Tapp (ASIACRYPT, 2011)