Just in case, do you know about https://github.com/SMSSecure/SMSSecure?