Report 1：小论文进展报告

• 报告人：高楠

Report 2：论文阅读报告

• 报告人：徐梓桑

• 论文信息：Yang R, Li G, Lau W C, et al. Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations[C]// ACM on Asia Conference on Computer and Communications Security. ACM, 2016:651-662.