Publikationen

Publikationen mit folgenden Eigenschaften suchen:



Stichwortsuche:

Jahrgang:

Autoren/Editoren:

Nur Autoren/Editoren der Fachgruppe zur Auswahl stellen
Alle Autoren/Editoren des HNI zur Auswahl stellen

Art der Publikation:


 

Unsere Publikationen aus dem Jahr 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), 18. - 23. Okt. 2020, ACM (Details)

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

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, 31. Aug. - 4. Sep. 2020, IEEE (Details)

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

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), Mai 2020 (Details)

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), Band ICSE ’20 , S. 12, Mai 2020 Universität Paderborn, ACM (Details)

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), S. 185-198, Feb. 2020 (Details)

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, Band 1196 , S. 1458--1469, 1. Jan. 2020, Springer International Publishing (Details)

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