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

Publication
Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA@ESORICS 2018, Barcelona, Spain, September 7, 2018, Proceedings