A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts.

Erisa Karafili, Daniele Sgandurra, Emil Lupu

Browse the full ESORICS paper archive.