27 Publications
2021 | Dissertation | LibreCat-ID: 26746 | 
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.
LibreCat
| Download (ext.)
2021 | Mastersthesis | LibreCat-ID: 22304 |
S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 7623
S. Zhang, Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 7628
N. Selbach, Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15920
M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn, 2019.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1044
R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 1157
L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 685
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 109 |
F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 201
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 1190
T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 10714
R. Meißner, Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs. Universität Paderborn, 2015.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
S. Wu, Webcam application using virtual FPGA. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 340
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
C. Klauke, Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 418 |
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2013 | Dissertation | LibreCat-ID: 478
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2012 | Dissertation | LibreCat-ID: 586 |
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn, 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Mastersthesis | LibreCat-ID: 624
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 658
A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat