%0 Conference Paper %1 conf/esorics/KarafiliSL18 %A Karafili, Erisa %A Sgandurra, Daniele %A Lupu, Emil %B ETAA@ESORICS %D 2018 %E Saracino, Andrea %E Mori, Paolo %I Springer %K dblp %P 73-87 %T A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts. %U http://dblp.uni-trier.de/db/conf/esorics/etaa2018.html#KarafiliSL18 %V 11263 %@ 978-3-030-04372-8

@inproceedings{conf/esorics/KarafiliSL18, added-at = {2018-12-03T00:00:00.000+0100}, author = {Karafili, Erisa and Sgandurra, Daniele and Lupu, Emil}, biburl = {https://www.bibsonomy.org/bibtex/2c42455bdd2533b92eedac1d6b601a46e/dblp}, booktitle = {ETAA@ESORICS}, crossref = {conf/esorics/2018etaa}, editor = {Saracino, Andrea and Mori, Paolo}, ee = {https://doi.org/10.1007/978-3-030-04372-8_7}, interhash = {0b770e3e74fa3d2f88d8f547f199bae2}, intrahash = {c42455bdd2533b92eedac1d6b601a46e}, isbn = {978-3-030-04372-8}, keywords = {dblp}, pages = {73-87}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:06:45.000+0200}, title = {A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts.}, url = {http://dblp.uni-trier.de/db/conf/esorics/etaa2018.html#KarafiliSL18}, volume = 11263, year = 2018 }