Documents related to 'post-quantum public-key encryption'