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 proceedingConference contribution

E-pub ahead of print

Standard

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 proceedingConference contribution

Harvard

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. Lecture Notes in Computer Science, vol. 11263, Springer-Verlag, pp. 73-87. https://doi.org/10.1007/978-3-030-04372-8_7

APA

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. https://doi.org/10.1007/978-3-030-04372-8_7

Vancouver

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

Author

Karafili, Erisa ; Sgandurra, Daniele ; Lupu, Emil. / A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts. 1st International Workshop on Emerging Technologies for Authorization and Authentication. Springer-Verlag, 2018. pp. 73-87 (Lecture Notes in Computer Science).

BibTeX

@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 = "11",
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",

}

RIS

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 -