J.  Talkington, Dantu, R., and Morozov, K., ?Verifying OAuth Implementations Through Encrypted Network Analysis?, in Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, 2019.