Chaum’s Protocol for Detecting Man-in-the-Middle: Explanation, Demonstration, and Timing Studies for a Text-Messaging Scenario