Updated examples for PK encryption