TU Darmstadt / ULB / TUbiblio

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs

Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira (2019):
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: IEEE Transactions on Software Engineering, 2019. Institute of Electrical and Electronics Engineers, ISSN 1939-3520,
DOI: 10.1109/TSE.2019.2948910,
[Online-Edition: https://ieeexplore.ieee.org/abstract/document/8880510],
[Article]

Item Type: Article
Erschienen: 2019
Creators: Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira
Title: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Language: English
Journal or Publication Title: IEEE Transactions on Software Engineering
Journal volume: 2019
Publisher: Institute of Electrical and Electronics Engineers
Uncontrolled Keywords: Engineering; E1
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Security Engineering
20 Department of Computer Science > Software Technology
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
Profile Areas
Profile Areas > Cybersecurity (CYSEC)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1119: CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Date Deposited: 20 Dec 2019 11:36
DOI: 10.1109/TSE.2019.2948910
Official URL: https://ieeexplore.ieee.org/abstract/document/8880510
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details