A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts. / Karafili, Erisa; Sgandurra, Daniele; Lupu, Emil.

1st International Workshop on Emerging Technologies for Authorization and Authentication. Springer-Verlag, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Forthcoming

Documents

Original languageEnglish
Title of host publication1st International Workshop on Emerging Technologies for Authorization and Authentication
PublisherSpringer-Verlag
StateAccepted/In press - 28 Jul 2018
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31375577