TU Darmstadt / ULB / TUbiblio

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

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; 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,
[Article]

Item Type: Article
Erschienen: 2019
Creators: Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; 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
Volume of the journal: 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
URL / URN: https://ieeexplore.ieee.org/abstract/document/8880510
PPN:
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
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung