The rapid growth of Short Message Service (SMS) text messaging is generating substantial commercial and research interest in fast and efficient text input methods for mobile devic...
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...