PKINIT Verification Project

Project documentation

• Abstract description of PKINIT, attack, and fix
• Attack scenario