TU Darmstadt / ULB / TUbiblio

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

Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and 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
[Conference or Workshop Item] , (2018)

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: Department of Computer Science
Department of Computer Science > Security Engineering
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/
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item