Known Vulnerabilities in OpenPGP.js 0.3.1