Pātuhitia tēnei: Provable and Practical Security