An encrypted Android SMS messaging application