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 :
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
[Online-Edition: https://2018.ecoop.org/]
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 15.-21.07.2018, Amsterdam, The Netherlands. 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Schloss Dagstuhl-Leibniz-Zentrum für Informatik
[Konferenz- oder Workshop-Beitrag], (2018)

Offizielle URL: https://2018.ecoop.org/
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2018
Autor(en): Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira
Titel: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Sprache: Englisch
Buchtitel: 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Verlag: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Freie Schlagworte: Engineering; E1; cryptography, domain-specific language, static analysis
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Security Engineering
20 Fachbereich Informatik > Softwaretechnik
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
Profilbereiche
Profilbereiche > Cybersicherheit (CYSEC)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Veranstaltungstitel: 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Veranstaltungsort: Amsterdam, The Netherlands
Veranstaltungsdatum: 15.-21.07.2018
Hinterlegungsdatum: 28 Aug 2018 16:35
DOI: 10.4230/LIPIcs.ECOOP.2018.10
Offizielle URL: https://2018.ecoop.org/
Verwandte URLs:
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen