---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Stefan
      foaf_name: Krüger, Stefan
      foaf_surname: Krüger
  - foaf_Person:
      foaf_givenName: Johannes
      foaf_name: Späth, Johannes
      foaf_surname: Späth
  - foaf_Person:
      foaf_givenName: Karim
      foaf_name: Ali, Karim
      foaf_surname: Ali
  - foaf_Person:
      foaf_givenName: Eric
      foaf_name: Bodden, Eric
      foaf_surname: Bodden
      foaf_workInfoHomepage: http://www.librecat.org/personId=59256
    orcid: 0000-0003-3470-3647
  - foaf_Person:
      foaf_givenName: Mira
      foaf_name: Mezini, Mira
      foaf_surname: Mezini
  bibo_doi: 10.1109/TSE.2019.2948910
  dct_date: 2019^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/2326-3881
  dct_language: eng
  dct_subject:
  - Java
  - Encryption
  - Static analysis
  - Tools
  - Ciphers
  - Semantics
  - cryptography
  - domain-specific language
  - static analysis
  dct_title: 'CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
    APIs@'
...