---
_id: '57416'
abstract:
- lang: eng
  text: "The increased complexity of modern software has led to much more\r\nsophisticated
    attack vectors. As a result, we require newer vulnerability detection\r\nmethods
    to ensure software security without compromising efficiency.\r\nThe Code Property
    Graph (CPG) is a program representation that provides a comprehensive overview
    of program behavior, combining abstract syntax trees, control flow\r\ngraphs,
    and program dependence graphs. With such a detailed data structure, we can\r\ndetect
    patterns that characterize known vulnerabilities and identify various security\r\nthreats.
    Querying the combined data structure instead of the individual graphs enables
    the detection of multidimensional scenarios.\r\nThis work aims to integrate the
    advantages of CPGs into software systems that utilize\r\nthe Jimple intermediate
    representation. We introduce JimNode, a novel approach for\r\ngenerating CPGs
    specifically tailored to Jimple. Despite the model incompatibility, our\r\nevaluation,
    which covered approximately 50,800 methods, reveals an 88.07% similarity\r\nof
    the inter-statement edges compared to Joern, the state-of-the-art tool for CPG\r\ngeneration.
    We provide a detailed analysis of our methodology and discuss why it is\r\nbetter
    suited for Jimple programs than Joern’s language-agnostic approach."
author:
- first_name: Michael Hany Fawzy
  full_name: Youkeim, Michael Hany Fawzy
  id: '77394'
  last_name: Youkeim
citation:
  ama: Youkeim MHF. <i>Tailoring Code Property Graphs to Jimple</i>. Paderborn University;
    2024.
  apa: Youkeim, M. H. F. (2024). <i>Tailoring Code Property Graphs to Jimple</i>.
    Paderborn University.
  bibtex: '@book{Youkeim_2024, place={Paderborn}, title={Tailoring Code Property Graphs
    to Jimple}, publisher={Paderborn University}, author={Youkeim, Michael Hany Fawzy},
    year={2024} }'
  chicago: 'Youkeim, Michael Hany Fawzy. <i>Tailoring Code Property Graphs to Jimple</i>.
    Paderborn: Paderborn University, 2024.'
  ieee: 'M. H. F. Youkeim, <i>Tailoring Code Property Graphs to Jimple</i>. Paderborn:
    Paderborn University, 2024.'
  mla: Youkeim, Michael Hany Fawzy. <i>Tailoring Code Property Graphs to Jimple</i>.
    Paderborn University, 2024.
  short: M.H.F. Youkeim, Tailoring Code Property Graphs to Jimple, Paderborn University,
    Paderborn, 2024.
date_created: 2024-11-26T09:13:02Z
date_updated: 2024-11-27T01:16:38Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: open_access
  content_type: application/pdf
  creator: myoukeim
  date_created: 2024-11-27T01:16:06Z
  date_updated: 2024-11-27T01:16:06Z
  file_id: '57444'
  file_name: Bachelor_Thesis__Michael_Youkeim_unsigned.pdf
  file_size: 432800
  relation: main_file
file_date_updated: 2024-11-27T01:16:06Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
place: Paderborn
publisher: Paderborn University
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Tailoring Code Property Graphs to Jimple
type: bachelorsthesis
user_id: '77394'
year: '2024'
...
---
_id: '20513'
abstract:
- lang: ger
  text: "Frühere Studien haben empirisch offenbart, dass Fehlbenutzungen von kryptographischen
    APIs in Softwareanwendungen weitverbreitet sind. Dies geschieht vor allem, weil
    Software-Entwickler_innen aufgrund schlechten API-Designs und fehlenden Kryptographiewissens
    Probleme bekommen, wenn sie versuchen kryptographische Features zu implementieren.
    Die Literatur liefert mehrere Ansätze und Vorschläge diese Probleme zu lösen,
    aber alle scheitern schlussendlich auf die eine oder andere Weise daran die Anforderungen
    der Entwickler_innenzu erfüllen. Das Resultat ist eine insgesamt lückenhafte Landschaft
    verschiedener nur wenigkomplementärer Ansätze.In dieser Arbeit adressieren wir
    das Problem kryptographischer Fehlbenutzungen systematischer durch CogniCrypt.
    CogniCrypt integriert verschiedene Arten von Tool Supportin einen gemeinsamen
    Ansatz, der Entwickler_innen davon befreit wissen zu müssen, wie diese APIs benutzt
    werden müssen. Zentral für unseren Ansatz ist CrySL, eine Beschreibungssprache,die
    die kognitive Lücke zwischen Kryptographie-Expert_innen und Software-Entwickler_innenüberbrückt.
    CrySL ermöglicht es Kryptographie-Expert_innen zu spezifizeren, wie die APIs,die
    sie bereitstellen, richtig benutzt werden. Wir haben einen Compiler für CrySL
    implementiert, der es erlaubt auf CrySL-Spezifikationen aufbauenden Tool Support
    zu entwickeln. Wir haben weiterhin die statische Analyse CogniCrypt_SAST und den
    Code-Generator CogniCrypt_GEN entwickelt. Schlussendlich haben wir CogniCrypt
    prototypisch implementiert und diesen Prototyp in einem kontrollierten Experiment
    evaluiert.\r\n"
author:
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
citation:
  ama: Krüger S. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>.
    Universitaetsbibliothek Paderborn; 2020.
  apa: Krüger, S. (2020). <i>CogniCrypt -- The Secure Integration of Cryptographic
    Software</i>. Universitaetsbibliothek Paderborn.
  bibtex: '@book{Krüger_2020, title={CogniCrypt -- The Secure Integration of Cryptographic
    Software}, publisher={Universitaetsbibliothek Paderborn}, author={Krüger, Stefan},
    year={2020} }'
  chicago: Krüger, Stefan. <i>CogniCrypt -- The Secure Integration of Cryptographic
    Software</i>. Universitaetsbibliothek Paderborn, 2020.
  ieee: S. Krüger, <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>.
    Universitaetsbibliothek Paderborn, 2020.
  mla: Krüger, Stefan. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>.
    Universitaetsbibliothek Paderborn, 2020.
  short: S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software,
    Universitaetsbibliothek Paderborn, 2020.
date_created: 2020-11-26T09:02:19Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: https://digital.ub.uni-paderborn.de/hs/document/preview/3500836
publisher: Universitaetsbibliothek Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: CogniCrypt -- The Secure Integration of Cryptographic Software
type: dissertation
user_id: '5786'
year: '2020'
...
---
_id: '20521'
author:
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
citation:
  ama: Gerking C. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical
    Systems</i>. Paderborn University; 2020. doi:<a href="https://doi.org/10.17619/UNIPB/1-1033">10.17619/UNIPB/1-1033</a>
  apa: Gerking, C. (2020). <i>Model-Driven Information Flow Security Engineering for
    Cyber-Physical Systems</i>. Paderborn University. <a href="https://doi.org/10.17619/UNIPB/1-1033">https://doi.org/10.17619/UNIPB/1-1033</a>
  bibtex: '@book{Gerking_2020, title={Model-Driven Information Flow Security Engineering
    for Cyber-Physical Systems}, DOI={<a href="https://doi.org/10.17619/UNIPB/1-1033">10.17619/UNIPB/1-1033</a>},
    publisher={Paderborn University}, author={Gerking, Christopher}, year={2020} }'
  chicago: Gerking, Christopher. <i>Model-Driven Information Flow Security Engineering
    for Cyber-Physical Systems</i>. Paderborn University, 2020. <a href="https://doi.org/10.17619/UNIPB/1-1033">https://doi.org/10.17619/UNIPB/1-1033</a>.
  ieee: C. Gerking, <i>Model-Driven Information Flow Security Engineering for Cyber-Physical
    Systems</i>. Paderborn University, 2020.
  mla: Gerking, Christopher. <i>Model-Driven Information Flow Security Engineering
    for Cyber-Physical Systems</i>. Paderborn University, 2020, doi:<a href="https://doi.org/10.17619/UNIPB/1-1033">10.17619/UNIPB/1-1033</a>.
  short: C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical
    Systems, Paderborn University, 2020.
date_created: 2020-11-26T10:37:17Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.17619/UNIPB/1-1033
language:
- iso: eng
publisher: Paderborn University
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Model-Driven Information Flow Security Engineering for Cyber-Physical Systems
type: dissertation
user_id: '5786'
year: '2020'
...
---
_id: '20524'
author:
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
citation:
  ama: Nguyen Quang Do L. <i>User-Centered Tool Design for Data-Flow Analysis</i>.
    Universität Paderborn; 2019.
  apa: Nguyen Quang Do, L. (2019). <i>User-Centered Tool Design for Data-Flow Analysis</i>.
    Universität Paderborn.
  bibtex: '@book{Nguyen Quang Do_2019, title={User-Centered Tool Design for Data-Flow
    Analysis}, publisher={Universität Paderborn}, author={Nguyen Quang Do, Lisa},
    year={2019} }'
  chicago: Nguyen Quang Do, Lisa. <i>User-Centered Tool Design for Data-Flow Analysis</i>.
    Universität Paderborn, 2019.
  ieee: L. Nguyen Quang Do, <i>User-Centered Tool Design for Data-Flow Analysis</i>.
    Universität Paderborn, 2019.
  mla: Nguyen Quang Do, Lisa. <i>User-Centered Tool Design for Data-Flow Analysis</i>.
    Universität Paderborn, 2019.
  short: L. Nguyen Quang Do, User-Centered Tool Design for Data-Flow Analysis, Universität
    Paderborn, 2019.
date_created: 2020-11-26T10:47:51Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: User-Centered Tool Design for Data-Flow Analysis
type: dissertation
user_id: '5786'
year: '2019'
...
---
_id: '20536'
author:
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
citation:
  ama: Späth J. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>.
    Universität Paderborn; 2019.
  apa: Späth, J. (2019). <i>Synchronized Pushdown Systems for Pointer and Data-Flow
    Analysis</i>. Universität Paderborn.
  bibtex: '@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and
    Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes},
    year={2019} }'
  chicago: Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow
    Analysis</i>. Universität Paderborn, 2019.
  ieee: J. Späth, <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>.
    Universität Paderborn, 2019.
  mla: Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow
    Analysis</i>. Universität Paderborn, 2019.
  short: J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis,
    Universität Paderborn, 2019.
date_created: 2020-11-27T10:50:55Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/phdSpaeth.pdf
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Synchronized Pushdown Systems for Pointer and Data-Flow Analysis
type: dissertation
user_id: '5786'
year: '2019'
...
---
_id: '20779'
abstract:
- lang: eng
  text: Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten
    Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation.
    Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel
    (SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein
    bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert
    auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein
    hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad
    in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand.
    SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen
    geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind
    oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu
    planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert
    werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS,
    ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings
    muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im
    Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer,
    tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering
    angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation
    und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen
    Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch
    SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten
    Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität
    abgeleitet.
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
citation:
  ama: Fockel M. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät
    für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:<a
    href="https://doi.org/10.17619/UNIPB/1-490">10.17619/UNIPB/1-490</a>
  apa: Fockel, M. (2018). <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
    <a href="https://doi.org/10.17619/UNIPB/1-490">https://doi.org/10.17619/UNIPB/1-490</a>
  bibtex: '@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL
    Tailoring}, DOI={<a href="https://doi.org/10.17619/UNIPB/1-490">10.17619/UNIPB/1-490</a>},
    publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
    Paderborn}, author={Fockel, Markus}, year={2018} }'
  chicago: Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    2018. <a href="https://doi.org/10.17619/UNIPB/1-490">https://doi.org/10.17619/UNIPB/1-490</a>.
  ieee: M. Fockel, <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    2018.
  mla: Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    2018, doi:<a href="https://doi.org/10.17619/UNIPB/1-490">10.17619/UNIPB/1-490</a>.
  short: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät
    für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
date_created: 2020-12-17T11:59:05Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.17619/UNIPB/1-490
language:
- iso: eng
publisher: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Safety Requirements Engineering for Early SIL Tailoring
type: dissertation
user_id: '5786'
year: '2018'
...
---
_id: '1044'
author:
- first_name: Richard
  full_name: Leer, Richard
  last_name: Leer
citation:
  ama: Leer R. <i>Measuring Performance of a Static Analysis Framework with an Application
    to Immutability Analysis</i>. Universität Paderborn; 2018.
  apa: Leer, R. (2018). <i>Measuring Performance of a Static Analysis Framework with
    an application to Immutability Analysis</i>. Universität Paderborn.
  bibtex: '@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework
    with an application to Immutability Analysis}, publisher={Universität Paderborn},
    author={Leer, Richard}, year={2018} }'
  chicago: Leer, Richard. <i>Measuring Performance of a Static Analysis Framework
    with an Application to Immutability Analysis</i>. Universität Paderborn, 2018.
  ieee: R. Leer, <i>Measuring Performance of a Static Analysis Framework with an application
    to Immutability Analysis</i>. Universität Paderborn, 2018.
  mla: Leer, Richard. <i>Measuring Performance of a Static Analysis Framework with
    an Application to Immutability Analysis</i>. Universität Paderborn, 2018.
  short: R. Leer, Measuring Performance of a Static Analysis Framework with an Application
    to Immutability Analysis, Universität Paderborn, 2018.
date_created: 2017-12-13T07:52:01Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-11-21T06:15:51Z
  date_updated: 2018-11-21T06:15:51Z
  file_id: '5768'
  file_name: ba_leer.pdf
  file_size: 1383049
  relation: main_file
  success: 1
file_date_updated: 2018-11-21T06:15:51Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Measuring Performance of a Static Analysis Framework with an application to
  Immutability Analysis
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '1045'
author:
- first_name: Jan Niclas
  full_name: Strüwer, Jan Niclas
  last_name: Strüwer
citation:
  ama: Strüwer JN. <i>Interactive Data Visualization for Exploded Supergraphs</i>.
    Universität Paderborn; 2018.
  apa: Strüwer, J. N. (2018). <i>Interactive Data Visualization for Exploded Supergraphs</i>.
    Universität Paderborn.
  bibtex: '@book{Strüwer_2018, title={Interactive Data Visualization for Exploded
    Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas},
    year={2018} }'
  chicago: Strüwer, Jan Niclas. <i>Interactive Data Visualization for Exploded Supergraphs</i>.
    Universität Paderborn, 2018.
  ieee: J. N. Strüwer, <i>Interactive Data Visualization for Exploded Supergraphs</i>.
    Universität Paderborn, 2018.
  mla: Strüwer, Jan Niclas. <i>Interactive Data Visualization for Exploded Supergraphs</i>.
    Universität Paderborn, 2018.
  short: J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität
    Paderborn, 2018.
date_created: 2017-12-13T07:53:49Z
date_updated: 2022-01-06T06:50:40Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-11-21T06:14:15Z
  date_updated: 2018-11-21T06:14:15Z
  file_id: '5767'
  file_name: ba_struewer.pdf
  file_size: 15839765
  relation: main_file
  success: 1
file_date_updated: 2018-11-21T06:14:15Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Interactive Data Visualization for Exploded Supergraphs
type: bachelorsthesis
user_id: '15504'
year: '2018'
...