Search for publications with the following properties:

Keyword search:



Only authors/editors from this research group are selectable
All authors/editors from the HNI are selectable

Publication type:


Our publications from 2020:

Koch, Thorsten; Dziwok, Stefan; Holtmann, Jörg; Bodden, Eric: Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), Oct 18 - 23, 2020, ACM (more)

Krüger, Stefan: CogniCrypt - The Secure Integration of Cryptographic Software. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, Oct 2020 (more)

Holtmann, Jörg; Steghöfer, Jan-Philipp; Rath, Michael; Schmelter, David: Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: Proceedings of the 28th IEEE International Requirements Engineering Conference, Aug 31 - Sep 4, 2020, IEEE (more)

Fischer, Andreas; Fuhry, Benny; Kerschbaum, Florian; Bodden, Eric: Computation on Encrypted Data using Dataflow Authentication. In: Privacy Enhancing Technologies Symposium (PETS/PoPETS), July 2020 (more)

Fischer, Andreas; Janneck, Jonas; Kussmaul, Jörn; Krätzschmar, Nikolas; Kerschbaum, Florian; Bodden, Eric: PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. In: 2020 IEEE Computer Security Foundations Symposium (CSF), May 2020 (more)

Benz, Manuel; Krogh Kristensen, Erik; Luo, Linghui; P. Borges Jr., Nataniel; Bodden, Eric; Zeller, Andreas: Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis. In: International Conference for Software Engineering (ICSE), volume ICSE ’20 , pp. 12, May 2020 Universität Paderborn, ACM (more)

Krüger, Stefan; Ali, Karim; Bodden, Eric: CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. In: International Symposium on Code Generation and Optimization (CGO), pp. 185-198, Feb 2020 (more)

Gräßler, Iris; Bodden, Eric; Pottebaum, Jens; Geismann, Johannes; Roesmann, Daniel: Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. In: Advanced, Contemporary Control, Advances in Intelligent Systems and Computing, volume 1196 , pp. 1458--1469, 1 Jan 2020, Springer International Publishing (more)

Nguyen, Lisa; Bodden, Eric: Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering, Jan 2020 (more)