---
_id: '20533'
author:
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Karim
  full_name: Ali, Karim
  last_name: Ali
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Mira
  full_name: Mezini, Mira
  last_name: Mezini
citation:
  ama: 'Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach
    to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on
    Software Engineering</i>. Published online 2019:1-1. doi:<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>'
  apa: 'Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2019). CrySL:
    An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
    <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href="https://doi.org/10.1109/TSE.2019.2948910">https://doi.org/10.1109/TSE.2019.2948910</a>'
  bibtex: '@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible
    Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>},
    journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and
    Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019},
    pages={1–1} }'
  chicago: 'Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini.
    “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
    APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, 1–1. <a href="https://doi.org/10.1109/TSE.2019.2948910">https://doi.org/10.1109/TSE.2019.2948910</a>.'
  ieee: 'S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible
    Approach to Validating the Correct Usage of Cryptographic APIs,” <i>IEEE Transactions
    on Software Engineering</i>, pp. 1–1, 2019, doi: <a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>.'
  mla: 'Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct
    Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>,
    2019, pp. 1–1, doi:<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>.'
  short: S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software
    Engineering (2019) 1–1.
date_created: 2020-11-27T10:48:38Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/TSE.2019.2948910
keyword:
- Java
- Encryption
- Static analysis
- Tools
- Ciphers
- Semantics
- cryptography
- domain-specific language
- static analysis
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse19CrySL.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
  issn:
  - 2326-3881
status: public
title: 'CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
  APIs'
type: journal_article
user_id: '5786'
year: '2019'
...
---
_id: '20557'
author:
- first_name: Max
  full_name: Lillack, Max
  last_name: Lillack
- first_name: Christian
  full_name: Kästner, Christian
  last_name: Kästner
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. <i>IEEE
    Transactions on Software Engineering</i>. 2017;PP(99):1-1. doi:<a href="https://doi.org/10.1109/TSE.2017.2756048">10.1109/TSE.2017.2756048</a>
  apa: Lillack, M., Kästner, C., &#38; Bodden, E. (2017). Tracking Load-time Configuration
    Options. <i>IEEE Transactions on Software Engineering</i>, <i>PP</i>(99), 1–1.
    <a href="https://doi.org/10.1109/TSE.2017.2756048">https://doi.org/10.1109/TSE.2017.2756048</a>
  bibtex: '@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration
    Options}, volume={PP}, DOI={<a href="https://doi.org/10.1109/TSE.2017.2756048">10.1109/TSE.2017.2756048</a>},
    number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack,
    Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }'
  chicago: 'Lillack, Max, Christian Kästner, and Eric Bodden. “Tracking Load-Time
    Configuration Options.” <i>IEEE Transactions on Software Engineering</i> PP, no.
    99 (2017): 1–1. <a href="https://doi.org/10.1109/TSE.2017.2756048">https://doi.org/10.1109/TSE.2017.2756048</a>.'
  ieee: 'M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration
    Options,” <i>IEEE Transactions on Software Engineering</i>, vol. PP, no. 99, pp.
    1–1, 2017, doi: <a href="https://doi.org/10.1109/TSE.2017.2756048">10.1109/TSE.2017.2756048</a>.'
  mla: Lillack, Max, et al. “Tracking Load-Time Configuration Options.” <i>IEEE Transactions
    on Software Engineering</i>, vol. PP, no. 99, 2017, pp. 1–1, doi:<a href="https://doi.org/10.1109/TSE.2017.2756048">10.1109/TSE.2017.2756048</a>.
  short: M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering
    PP (2017) 1–1.
date_created: 2020-11-30T11:06:43Z
date_updated: 2022-01-06T06:54:30Z
department:
- _id: '76'
doi: 10.1109/TSE.2017.2756048
issue: '99'
keyword:
- Androids
- Bluetooth
- Humanoid robots
- Java
- Software
- Tools
- Configuration options
- Static analysis
- Variability mining
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/lkb17lotrack.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
  issn:
  - 0098-5589
status: public
title: Tracking Load-time Configuration Options
type: journal_article
user_id: '5786'
volume: PP
year: '2017'
...
---
_id: '20719'
author:
- first_name: Philipp
  full_name: Holzinger, Philipp
  last_name: Holzinger
- first_name: Stefan
  full_name: Triller, Stefan
  last_name: Triller
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than
    Ten Years of Java Exploitation. In: <i>Proceedings of the 2016 ACM SIGSAC Conference
    on Computer and Communications Security</i>. CCS ’16. ; 2016:779-790. doi:<a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>'
  apa: Holzinger, P., Triller, S., Bartel, A., &#38; Bodden, E. (2016). An In-Depth
    Study of More Than Ten Years of Java Exploitation. <i>Proceedings of the 2016
    ACM SIGSAC Conference on Computer and Communications Security</i>, 779–790. <a
    href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>
  bibtex: '@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16},
    title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={<a
    href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>},
    booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications
    Security}, author={Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre
    and Bodden, Eric}, year={2016}, pages={779–790}, collection={CCS ’16} }'
  chicago: Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric Bodden.
    “An In-Depth Study of More Than Ten Years of Java Exploitation.” In <i>Proceedings
    of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>,
    779–90. CCS ’16, 2016. <a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>.
  ieee: 'P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of
    More Than Ten Years of Java Exploitation,” in <i>Proceedings of the 2016 ACM SIGSAC
    Conference on Computer and Communications Security</i>, 2016, pp. 779–790, doi:
    <a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>.'
  mla: Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java
    Exploitation.” <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and
    Communications Security</i>, 2016, pp. 779–90, doi:<a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>.
  short: 'P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016
    ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.'
date_created: 2020-12-14T11:58:33Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://doi.acm.org/10.1145/2976749.2978361
keyword:
- ATTRACT
- access control
- exploits
- java security
- security analysis
- ITSECWEBSITE
language:
- iso: eng
page: 779-790
publication: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications
  Security
publication_identifier:
  isbn:
  - 978-1-4503-4139-4
series_title: CCS '16
status: public
title: An In-Depth Study of More Than Ten Years of Java Exploitation
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '39029'
abstract:
- lang: eng
  text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
    Much effort has been undertaken to employ different aspects of UML for multiple
    domains, mainly in the area of software systems. Considering the area of electronic
    design automation, however, we currently see only very few approaches which investigate
    UML for hardware design and hardware/software co-design. We present an approach
    for executable UML closing the gap from system specification to its model-based
    execution on reconfigurable hardware. For this purpose, we present our abstract
    execution platform (AEP), which is based on a virtual machine running an executable
    UML subset for embedded software and reconfigurable hardware. This subset combines
    UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
    We describe how these binary encoded UML specifications can be directly executed
    and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
    we present evaluation results comparing the AEP implementation with C code on
    a C167 microcontroller.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
    Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE;
    2005. doi:<a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>'
  apa: Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach
    for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>.
    <a href="https://doi.org/10.1109/DATE.2005.20">https://doi.org/10.1109/DATE.2005.20</a>
  bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
    }, title={A Model-Based Approach for Executable Specification on Reconfigurable
    Hardware}, DOI={<a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>},
    booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
    and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
  chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
    Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings
    of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href="https://doi.org/10.1109/DATE.2005.20">https://doi.org/10.1109/DATE.2005.20</a>.'
  ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
    Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>.'
  mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
    on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a
    href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>.
  short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
    Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
  isbn:
  - 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39071'
abstract:
- lang: eng
  text: The interconnection of software components is a key to enabling collaborative
    work. However, technology differences and security barriers like firewalls often
    hinder establishing collaborative infrastructures between enterprises or even
    within a single enterprise. We introduce a peer-to-peer based network infrastructure
    that transparently overcomes these problems using relay and routing mechanisms
    as well as different underlying transport protocols. We discuss the application
    of this technology to interconnect Web services.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks. In: <i>Proceedings of AINA2004</i>. IEEE;
    2004. doi:<a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>'
  apa: Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology
    for Interconnecting Web Services in Heterogeneous Networks. <i>Proceedings of
    AINA2004</i>.  18th International Conference on Advanced Information Networking
    and Applications, Fukuoka, Japan . <a href="https://doi.org/10.1109/AINA.2004.1283977">https://doi.org/10.1109/AINA.2004.1283977</a>
  bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan },
    title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
    Networks}, DOI={<a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>},
    booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim
    and Loeser, Chris and Müller, Wolfgang}, year={2004} }'
  chicago: 'Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology
    for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings
    of AINA2004</i>. Fukuoka, Japan : IEEE, 2004. <a href="https://doi.org/10.1109/AINA.2004.1283977">https://doi.org/10.1109/AINA.2004.1283977</a>.'
  ieee: 'T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks,” presented at the  18th International
    Conference on Advanced Information Networking and Applications, Fukuoka, Japan
    , 2004, doi: <a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>.'
  mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
    Services in Heterogeneous Networks.” <i>Proceedings of AINA2004</i>, IEEE, 2004,
    doi:<a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>.
  short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE,
    Fukuoka, Japan , 2004.'
conference:
  location: 'Fukuoka, Japan '
  name: ' 18th International Conference on Advanced Information Networking and Applications'
date_created: 2023-01-24T09:05:58Z
date_updated: 2023-01-24T09:06:02Z
department:
- _id: '672'
doi: 10.1109/AINA.2004.1283977
keyword:
- Peer to peer computing
- Web services
- Intelligent networks
- Routing
- Relays
- Simple object access protocol
- Collaborative work
- Transport protocols
- Network address translation
- Java
language:
- iso: eng
place: 'Fukuoka, Japan '
publication: Proceedings of AINA2004
publication_identifier:
  isbn:
  - 0-7695-2051-0
publisher: IEEE
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '5786'
year: '2004'
...