HighCrypt, a strong password generator and manager for Android smartphones