Reference implementations for Pleco and Plectron -- two provably secure password hashing algorithms