Αποστολή με SMS: Practical Security Properties on Commodity Computing Platforms