Text this: Efficient IoT User Authentication Protocol with Semi-Trusted Servers