%0 Conference Paper %1 conf/sp/FettHK19 %A Fett, Daniel %A Hosseyni, Pedram %A Küsters, Ralf %B IEEE Symposium on Security and Privacy %D 2019 %I IEEE %K dblp %P 453-471 %T An Extensive Formal Security Analysis of the OpenID Financial-Grade API. %U http://dblp.uni-trier.de/db/conf/sp/sp2019.html#FettHK19 %@ 978-1-5386-6660-9

@inproceedings{conf/sp/FettHK19, added-at = {2019-09-24T00:00:00.000+0200}, author = {Fett, Daniel and Hosseyni, Pedram and Küsters, Ralf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c247cb4bf766363f3ff4e1da5eb390ea/dblp}, booktitle = {IEEE Symposium on Security and Privacy}, crossref = {conf/sp/2019}, ee = {https://doi.org/10.1109/SP.2019.00067}, interhash = {baf32ee15321c9a30fe5cbdb45992ebc}, intrahash = {c247cb4bf766363f3ff4e1da5eb390ea}, isbn = {978-1-5386-6660-9}, keywords = {dblp}, pages = {453-471}, publisher = {IEEE}, timestamp = {2019-09-27T17:41:09.000+0200}, title = {An Extensive Formal Security Analysis of the OpenID Financial-Grade API.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2019.html#FettHK19}, year = 2019 }