Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is formal models  [Clear All Filters]
2019
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.PDF icon Verifying OAuth Implementations Through Encrypted Network.pdf (1.13 MB)
Top