Automatic Verification of Security of OpenID Connect Protocol with ProVerif
['Jintian Lu', 'Jinli Zhang', 'Jing Li', 'Zhongyu Wan', 'Bo Meng']
Automatic Verification of Security of OpenID Connect Protocol with ProVerif