An anti-theft application for Android