Known Vulnerabilities in OpenPGP.js 4.1.2