Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira (2018):
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), pp. 10:1-10:27,
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 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]
Official URL: https://2018.ecoop.org/
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2018 |
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 |
Title of Book: | 32nd European Conference on Object-Oriented Programming (ECOOP 2018) |
Publisher: | Schloss Dagstuhl-Leibniz-Zentrum für Informatik |
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 |
Event Title: | 32nd European Conference on Object-Oriented Programming (ECOOP 2018) |
Event Location: | Amsterdam, The Netherlands |
Event Dates: | 15.-21.07.2018 |
Date Deposited: | 28 Aug 2018 16:35 |
DOI: | 10.4230/LIPIcs.ECOOP.2018.10 |
Official URL: | https://2018.ecoop.org/ |
Corresponding Links: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |