Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2424 Publications
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
2020 | Conference Paper | LibreCat-ID: 20509
PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat
| Download (ext.)
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Conference Paper | LibreCat-ID: 20511
Computation on Encrypted Data using Dataflow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
2020 | Conference Paper | LibreCat-ID: 20512
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat
| Files available
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
2020 | Dissertation | LibreCat-ID: 20513
CogniCrypt -- The Secure Integration of Cryptographic Software
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 20514
Model-driven engineering and usability evaluation of self-adaptive user interfaces
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
LibreCat
| DOI
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 20516
Cutting through the Jungle: Disambiguating Model-based Traceability Terminology
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
LibreCat
| DOI
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat
| DOI
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
2020 | Dissertation | LibreCat-ID: 20521
Model-Driven Information Flow Security Engineering for Cyber-Physical Systems
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
LibreCat
| DOI
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
2020 | Conference Abstract | LibreCat-ID: 20567
Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
LibreCat
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
2020 | Book Chapter | LibreCat-ID: 20568 | 
GEMINI-Modellierungssprache für Wertschöpfungssysteme
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
LibreCat
| Download (ext.)
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
2020 | Book Chapter | LibreCat-ID: 20570 |
GEMINI-Geschäftsmodellmuster-Kartenset
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
2020 | Book Chapter | LibreCat-ID: 20571 |
Geschäftsmodellvalidierung
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.
2020 | Book Chapter | LibreCat-ID: 20573 |
Geschäftsmodell-Roadmapping
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.
2020 | Journal Article | LibreCat-ID: 20644
Nanoantennas embedded in zinc oxide for second harmonic generation enhancement
R. Volmert, N. Weber, C. Meier, Journal of Applied Physics 128 (2020).
LibreCat
| DOI
| WoS
R. Volmert, N. Weber, C. Meier, Journal of Applied Physics 128 (2020).
2020 | Conference Paper | LibreCat-ID: 20647
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, A. Stalling, J. Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 97–98.
LibreCat
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, A. Stalling, J. Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 97–98.
2020 | Conference Paper | LibreCat-ID: 20650
Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 99–101.
LibreCat
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 99–101.
2020 | Conference Paper | LibreCat-ID: 20652
Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl)
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, K. Dilger, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 85–87.
LibreCat
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, K. Dilger, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 85–87.
2020 | Journal Article | LibreCat-ID: 20673
Aktivieren für robuste Klebprozesse - Wie lange sind plasmaaktivierte Polymeroberflächen offen?
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, J. Ihde, B. Mayer, Plastverarbeiter 71 (2020) 22–25.
LibreCat
| Files available
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, J. Ihde, B. Mayer, Plastverarbeiter 71 (2020) 22–25.