Micali's "Fair" Encryption