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
[
Konferenzveröffentlichung]
, (2018)
Offizielle URL: https://2018.ecoop.org/
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| 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 |
Drucken
Impressum