Primal implication as encryptionдоклад на конференции