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

Erisa Karafili, Daniele Sgandurra, Emil Lupu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

94 Downloads (Pure)

Original language	English
Title of host publication	1st International Workshop on Emerging Technologies for Authorization and Authentication
Publisher	Springer-Verlag
Pages	73-87
Number of pages	15
ISBN (Electronic)	978-3-030-04372-8
ISBN (Print)	978-3-030-04371-1
DOIs	https://doi.org/10.1007/978-3-030-04372-8_7
Publication status	E-pub ahead of print - 24 Nov 2018

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11263

Access to Document

Karafili, E., Sgandurra, D., & Lupu, E. (2018). A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts. In 1st International Workshop on Emerging Technologies for Authorization and Authentication (pp. 73-87). (Lecture Notes in Computer Science; Vol. 11263). Springer-Verlag. Advance online publication. https://doi.org/10.1007/978-3-030-04372-8_7

@inproceedings{149ec57695c345db9af08a9843db4e99,

title = "A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts",

author = "Erisa Karafili and Daniele Sgandurra and Emil Lupu",

year = "2018",

month = nov,

day = "24",

doi = "10.1007/978-3-030-04372-8_7",

language = "English",

isbn = "978-3-030-04371-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

pages = "73--87",

booktitle = "1st International Workshop on Emerging Technologies for Authorization and Authentication",

}

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. p. 73-87 (Lecture Notes in Computer Science; Vol. 11263).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts

AU - Karafili, Erisa

AU - Sgandurra, Daniele

AU - Lupu, Emil

PY - 2018/11/24

Y1 - 2018/11/24

U2 - 10.1007/978-3-030-04372-8_7

DO - 10.1007/978-3-030-04372-8_7

M3 - Conference contribution

SN - 978-3-030-04371-1

T3 - Lecture Notes in Computer Science

SP - 73

EP - 87

BT - 1st International Workshop on Emerging Technologies for Authorization and Authentication

PB - Springer-Verlag

ER -