Stanislaw Jarecki, Hugo Krawczyk, Maliheh Shirvanian, Nitesh Saxena: Device-Enhanced Password Protocols with Optimal Online-Offline Protection. AsiaCCS 2016: 177-188