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 (2018)
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
32nd European Conference on Object-Oriented Programming (ECOOP 2018). Amsterdam, The Netherlands (15.-21.07.2018)
doi: 10.4230/LIPIcs.ECOOP.2018.10
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 2018
Creators: Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira
Type of entry: Bibliographie
Title: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Language: English
Date: July 2018
Publisher: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Book Title: 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Event Title: 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Event Location: Amsterdam, The Netherlands
Event Dates: 15.-21.07.2018
DOI: 10.4230/LIPIcs.ECOOP.2018.10
URL / URN: https://2018.ecoop.org/
Corresponding Links:
Uncontrolled Keywords: Engineering; E1; cryptography, domain-specific language, static analysis
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: 28 Aug 2018 16:35
Last Modified: 28 Aug 2018 16:35
PPN:
Corresponding Links:
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