Cooperative Android App Analysis
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

Frameworks and Methodologies for Search-based Approximate Logic Synthesis
L.M. Witschen, Frameworks and Methodologies for Search-Based Approximate Logic Synthesis, 2022.
LibreCat: /record/34041
DOI: 10.17619/UNIPB/1-1649

Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, Paderborn University, Paderborn, 2021.
LibreCat: /record/26746

Android App Analysis Benchmark Case Generation
S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021.
LibreCat: /record/22304

Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, Universität Paderborn, 2019.
LibreCat: /record/7623

Modeling Crypto API usages in OpenSSL's EVP library
N. Selbach, Modeling Crypto API Usages in OpenSSL’s EVP Library, Universität Paderborn, 2019.
LibreCat: /record/7628

A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking
M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking, Universität Paderborn, 2019.
LibreCat: /record/15920

FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
LibreCat: /record/3720
DOI: 10.17619/UNIPB/1-376

Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
LibreCat: /record/1044

Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat: /record/1045