A logic-based reasoner for discovering authentication vulnerabilities between interconnected accounts - Karafili, E; Sgandurra, D; Lupu, E (Springer Verlag, 2018)