Forward Secrecy using DJB's NaCl