Josh Talkington, Ram Dantu, Kirill Morozov. Verifying OAuth Implementations Through Encrypted Network Analysis. In Florian Kerschbaum, Atefeh Mashatan, Jianwei Niu 0001, Adam J. Lee, editors, Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019, Toronto, ON, Canada, June 03-06, 2019. pages 227-229, ACM, 2019. [doi]
Abstract is missing.