@inproceedings{65525,
author = {{Reckmann, Eileen and Temmen, Katrin}},
location = {{Oldenburg}},
title = {{{Beforschung eines MINT Clusters – erste Ergebnisse und weitere Schritte}}},
year = {{2025}},
}
@article{65528,
author = {{Janovsky, Adam and Chmielewski, Łukasz and Svenda, Petr and Jancar, Jan and Matyas, Vashek}},
issn = {{0167-4048}},
journal = {{Computers & Security}},
publisher = {{Elsevier BV}},
title = {{{Revisiting the analysis of references among Common Criteria certified products}}},
doi = {{10.1016/j.cose.2025.104362}},
volume = {{152}},
year = {{2025}},
}
@inbook{65526,
author = {{JANCAR, Jan and SVENDA, Petr and SYS, Marek}},
booktitle = {{Embedded Cryptography 3}},
isbn = {{9781789452150}},
publisher = {{Wiley}},
title = {{{ROCA and Minerva Vulnerabilities}}},
doi = {{10.1002/9781394351930.ch10}},
year = {{2025}},
}
@article{65537,
abstract = {{It is a widely accepted standard practice to implement cryptographic software so that secret inputs do not influence the cycle count. Software following this paradigm is often referred to as “constant-time” software and typically involves following three rules: 1) never branch on a secret-dependent condition, 2) never access memory at a secret-dependent location, and 3) avoid variable-time arithmetic operations on secret data. The third rule requires knowledge about such variable-time arithmetic instructions, or vice versa, which operations are safe to use on secret inputs. For a long time, this knowledge was based on either documentation or microbenchmarks, but critically, there were never any guarantees for future microarchitectures. This changed with the introduction of the data-operand-independent-timing (DOIT) mode on Intel CPUs and, to some extent, the data-independent-timing (DIT) mode on Arm CPUs. Both Intel and Arm document a subset of their respective instruction sets that are intended to leak no information about their inputs through timing, even on future microarchitectures if the CPU is set to run in a dedicated DOIT (or DIT) mode.In this paper, we present a principled solution that leverages DOIT to enable cryptographic software that is future-proof constant-time, in the sense that it ensures that only instructions from the DOIT subset are used to operate on secret data, even during speculative execution after a mispredicted branch or function return location. For this solution, we build on top of existing security type systems in the Jasmin framework for high-assurance cryptography.We then use our solution to evaluate the extent to which existing cryptographic software built to be “constant-time” is already secure in this stricter paradigm implied by DOIT and what the performance impact is to move from constant-time to future-proof constant-time.}},
author = {{Arranz-Olmos, Santiago and Barthe, Gilles and Grégoire, Benjamin and Jancar, Jan and Laporte, Vincent and Oliveira, Tiago and Schwabe, Peter}},
issn = {{2569-2925}},
journal = {{IACR Transactions on Cryptographic Hardware and Embedded Systems}},
number = {{3}},
pages = {{644--667}},
publisher = {{Universitatsbibliothek der Ruhr-Universitat Bochum}},
title = {{{Let’s DOIT: Using Intel’s Extended HW/SW Contract for Secure Compilation of Crypto Code}}},
doi = {{10.46586/tches.v2025.i3.644-667}},
volume = {{2025}},
year = {{2025}},
}
@article{65538,
abstract = {{Developers implementing elliptic curve cryptography (ECC) face a wide range of implementation choices created by decades of research into elliptic curves. The literature on elliptic curves offers a plethora of curve models, scalar multipliers, and addition formulas, but this comes with the price of enabling attacks to also use the rich structure of these techniques. Navigating through this area is not an easy task and developers often obscure their choices, especially in black-box hardware implementations. Since side-channel attackers rely on the knowledge of the implementation details, reverse engineering becomes a crucial part of attacks.This work presents ECTester – a tool for testing black-box ECC implementations. Through various test suites, ECTester observes the behavior of the target implementation against known attacks but also non-standard inputs and elliptic curve parameters. We analyze popular ECC libraries and smartcards and show that some libraries and most smartcards do not check the order of the input points and improperly handle the infinity point. Based on these observations, we design new techniques for reverse engineering scalar randomization countermeasures that are able to distinguish between group scalar randomization, additive, multiplicative or Euclidean splitting. Our techniques do not require side-channel measurements; they only require the ability to set custom domain parameters, and are able to extract not only the size but also the exact value of the random mask used. Using the techniques, we successfully reverse-engineered the countermeasures on 13 cryptographic smartcards from 5 major manufacturers – all but one we tested on. Finally, we discuss what mitigations can be applied to prevent such reverse engineering, and whether it is possible at all.}},
author = {{Suchanek, Vojtech and Jancar, Jan and Kvapil, Jan and Svenda, Petr and Chmielewski, Łukasz}},
issn = {{2569-2925}},
journal = {{IACR Transactions on Cryptographic Hardware and Embedded Systems}},
number = {{4}},
pages = {{290--316}},
publisher = {{Universitatsbibliothek der Ruhr-Universitat Bochum}},
title = {{{ECTester: Reverse-engineering side-channel countermeasures of ECC implementations}}},
doi = {{10.46586/tches.v2025.i4.290-316}},
volume = {{2025}},
year = {{2025}},
}
@unpublished{61778,
abstract = {{Understanding the entanglement structure of local Hamiltonian ground spaces
is a physically motivated problem, with applications ranging from tensor
network design to quantum error-correcting codes. To this end, we study the
complexity of estimating ground state entanglement, and more generally entropy
estimation for low energy states and Gibbs states. We find, in particular, that
the classes qq-QAM [Kobayashi, le Gall, Nishimura, SICOMP 2019] (a quantum
analogue of public-coin AM) and QMA(2) (QMA with unentangled proofs) play a
crucial role for such problems, showing: (1) Detecting a high-entanglement
ground state is qq-QAM-complete, (2) computing an additive error approximation
to the Helmholtz free energy (equivalently, a multiplicative error
approximation to the partition function) is in qq-QAM, (3) detecting a
low-entanglement ground state is QMA(2)-hard, and (4) detecting low energy
states which are close to product states can range from QMA-complete to
QMA(2)-complete. Our results make progress on an open question of [Bravyi,
Chowdhury, Gosset and Wocjan, Nature Physics 2022] on free energy, and yield
the first QMA(2)-complete Hamiltonian problem using local Hamiltonians (cf. the
sparse QMA(2)-complete Hamiltonian problem of [Chailloux, Sattath, CCC 2012]).}},
author = {{Gharibian, Sevag and Kamminga, Jonas}},
booktitle = {{arXiv:2510.06796}},
title = {{{On the complexity of estimating ground state entanglement and free energy}}},
year = {{2025}},
}
@article{61164,
abstract = {{Building on and methodologically extending conceptual metaphor theory, the article examines how personal agency as a discursively produced sociopsychological phenomenon can be studied in elicited metaphors through a discourse-analytical approach. More concretely, the study illustrates how early-career researchers experience and express their agency in research writing through personal metaphors of academic writing such as riding a roller coaster or baking a wedding cake. A two-step discursive analysis adapts Hopper and Thompson's multidimensional approach to linguistic transitivity to study agency in language. The analytical approach involves both an in-depth parametrized analysis of all metaphors in the sample and a qualitative cross-analysis of the data. The results show that the participants' metaphors reflect both nuanced personal experiences and cultural expectations of academic writing, the writer, and the text. This emphasizes that research writing is not only a highly subjective practice but also one that is socially and culturally influenced. The article argues that research on agency thus needs elaborate methodological tools to trace discursive and sociopsychological trajectories of complex socio-cognitive practices like academic writing. This has implications not only for the nexus of research writing, identity, and academic enculturation but also for other fields focusing on agency in language.}},
author = {{Karsten, Andrea}},
issn = {{2813-4605}},
journal = {{Frontiers in Language Sciences}},
publisher = {{Frontiers Media SA}},
title = {{{Understanding personal agency through metaphor, or Why academic writing is (not) like a roller-coaster ride}}},
doi = {{10.3389/flang.2025.1567498}},
volume = {{4}},
year = {{2025}},
}
@misc{65564,
author = {{Lazarov, Stefan Teodorov and Türk, Olcay and Grimminger, Angela and Wagner, Petra and Buschmeier, Hendrik}},
publisher = {{LibreCat University}},
title = {{{Annotation Schemes Project A02 "Monitoring the understanding of explanations"}}},
doi = {{10.17605/OSF.IO/J2DHA}},
year = {{2025}},
}
@article{61165,
abstract = {{Building on and methodologically extending conceptual metaphor theory, the article examines how personal agency as a discursively produced sociopsychological phenomenon can be studied in elicited metaphors through a discourse-analytical approach. More concretely, the study illustrates how early-career researchers experience and express their agency in research writing through personal metaphors of academic writing such as riding a roller coaster or baking a wedding cake. A two-step discursive analysis adapts Hopper and Thompson's multidimensional approach to linguistic transitivity to study agency in language. The analytical approach involves both an in-depth parametrized analysis of all metaphors in the sample and a qualitative cross-analysis of the data. The results show that the participants' metaphors reflect both nuanced personal experiences and cultural expectations of academic writing, the writer, and the text. This emphasizes that research writing is not only a highly subjective practice but also one that is socially and culturally influenced. The article argues that research on agency thus needs elaborate methodological tools to trace discursive and sociopsychological trajectories of complex socio-cognitive practices like academic writing. This has implications not only for the nexus of research writing, identity, and academic enculturation but also for other fields focusing on agency in language.}},
author = {{Karsten, Andrea Ramona}},
issn = {{2813-4605}},
journal = {{Frontiers in Language Sciences}},
publisher = {{Frontiers Media SA}},
title = {{{Understanding personal agency through metaphor, or Why academic writing is (not) like a roller-coaster ride}}},
doi = {{10.3389/flang.2025.1567498}},
volume = {{4}},
year = {{2025}},
}
@inproceedings{61149,
abstract = {{The use of continuous fiber-reinforced thermoplastics (FRTP) in automotive industry increases due to their excellent material properties and possibility of rapid processing. The scale spanning heterogeneity of their material structure and its influence on the material behavior, however, presents significant challenges for most joining technologies, such as self-piercing riveting (SPR). During mechanical joining, the material structure is significantly altered within and around the joining zone, heavily influencing the material behavior. A comprehensive understanding of the underlying phenomena of material alteration during the SPR process is essential as basis for validating numerical simulations. This study examines the material structure at ten stages of a step-setting test of SPR with two FRTP sheets with glass-fiber reinforcement. Utilizing X-ray computed tomography (CT), the damage phenomena within different areas of the setting test are analyzed three-dimensionally and key parameters are quantified. Dominating phenomena during the penetration of the rivet into the laminate are fiber failure (FF), interfiber failure (IFF) and fiber bending, while delamination, fiber kinking and roving splitting are also observed. At the final stages, the bottom layers of the second sheet collapse and form a bulge into the cavity of the die.}},
author = {{Dargel, Alrik and Gröger, Benjamin and Schlichter, Malte Christian and Gerritzen, Johannes and Köhler, Daniel and Meschut, Gerson and Gude, Maik and Kupfer, Robert}},
booktitle = {{Proceedings of the 8th International Conference on Integrity-Reliability-Failure (IRF2025)}},
editor = {{Gomes, J.F. Silva and Meguid, Shaker A.}},
isbn = {{9789727523238}},
keywords = {{self-piercing riveting, computed tomography, thermoplastic composites, process-structure-interaction}},
location = {{Porto}},
publisher = {{FEUP}},
title = {{{Local Deformation and Failure of Composites during Self-Piercing Riveting: A CT-Based Microstructure Investigation}}},
doi = {{10.24840/978-972-752-323-8}},
year = {{2025}},
}
@inproceedings{62108,
author = {{Luchterhandt, Lars and Govindasamy, Vivek and Wang, Yutong and Scheytt, Christoph and Mueller, Wolfgang and Dömer, Rainer}},
booktitle = {{2025 Forum on Specification & Design Languages (FDL)}},
publisher = {{IEEE}},
title = {{{A Quantitative Guide to Navigate Speed/Accuracy Tradeoffs in System Level Design of RISC-V Processor Grids}}},
doi = {{10.1109/fdl68117.2025.11165408}},
year = {{2025}},
}
@article{65559,
abstract = {{Dieser Artikel spiegelt die dreißigjährige Geschichte der Zeitschrift Tertium Comparationis, indem er eine der zentralen Vergleichseinheiten Vergleichender Erziehungswissenschaft in den Blick nimmt. Themenhefte und Einzelbeiträge der Zeitschrift Tertium Comparationis haben über die Jahrzehnte immer wieder reflexive Blicke auf die Vergleichseinheit Land und/oder Nation geworfen, aber auch – ohne Bezüge zu solchen Diskursen – Länder- und Nationenvergleiche in unterschiedlichen Vorgehensweisen präsentiert. Bei der intensiven und analytischen Lektüre der Themen und Inhalte ergeben sich Cluster der Perspektivsetzungen und damit verbundene Diskurse, von denen einige aufgrund ihrer Häufigkeit und Intensität besonders relevant erscheinen. Die aufzufindenden Diskurse und Cluster werden im Beitrag präsentiert und anhand normativer, kritischer und innovativer Beiträge verifiziert. Trotz konstant wiederholter Kritik und konzeptueller Änderungen, bleiben Land und Nation zentrale Kategorien Vergleichender Erziehungswissenschaft.}},
author = {{Freitag, Christine}},
issn = {{0947-9732}},
journal = {{Tertium Comparationis}},
keywords = {{Tertium Comparationis, Land, Nation, Vergleichende Erziehungswissenschaft, Diskurse}},
number = {{2}},
pages = {{156--167}},
publisher = {{Waxmann}},
title = {{{Land und Nation: Perspektiven vergleichender Forschung in ausgewählten Diskursen der Zeitschrift Tertium Comparationis}}},
doi = {{10.31244/tc.2025.02.02}},
volume = {{31}},
year = {{2025}},
}
@misc{59671,
author = {{Abdelrahem, Mohammed}},
publisher = {{Zekk-Bolg}},
title = {{{Die Menschheitsfamilie und der Begriff der Umma – Islamische Perspektiven im interreligiösen Dialog}}},
year = {{2025}},
}
@misc{60942,
abstract = {{BloKK-Beitrag für das ZeKK, 11.07.2025}},
author = {{Lebock, Sarah}},
title = {{{"Komparative Theologie und Soziale Arbeit?!"}}},
year = {{2025}},
}
@article{58807,
abstract = {{One of the most important strategies for reducing CO2 emissions in the mobility sector is lightweight construction. In particular, the car body offers several opportunities for weight reduction. Multi-material designs are increasingly being applied to select the most suitable material for the respective load and ultimately achieve synergy effects. For example, aluminium castings are used at the nodes of a spaceframe body. Subsequently, these are joined with profiles to form the bodyshell. To join different materials mechanical joining techniques, such as semi-tubular self-piercing riveting, are deployed. According to the current state of the art, cracks occur in the aluminium castings during the mechanical joining process as a result of the high degree of deformation. Although the aluminium casting alloys of the AlSi-system exhibit low ductility, these alloys reveal excellent castability. In particular, the ability to cast thin structural parts is enabled by the low liquidus point of the near eutectic aluminium casting alloys.
This study addresses the mechanical joining properties of the near eutectic aluminium casting alloy AlSi12, depending on different microstructures. These are achieved by annealing processes and modifying agents. Through an adapted heat treatment, the previously lamellar morphology can be transformed into a globular morphology, which leads to increased ductility and prevents the formation of cracks during the self-piercing riveting (SPR). The joinability is investigated using different die geometries, whereas the joint formation is analysed regarding crack initiation. To evaluate the increased ductility, microstructural and mechanical tests are performed and finally, a microstructure-joinability correlation is established.}},
author = {{Neuser, Moritz and Holtkamp, Pia Katharina and Hoyer, Kay-Peter and Kappe, Fabian and Yildiz, Safak and Bobbert, Mathias and Meschut, Gerson and Schaper, Mirko}},
journal = {{The Journal of Materials: Design and Applications, Part L}},
keywords = {{aluminium, casting, microstructure, joinability, self-piercing riveting}},
location = {{Porto, Portugal}},
publisher = {{Sage Publications}},
title = {{{Mechanical properties and joinability of the near-eutectic aluminium casting alloy AlSi12}}},
doi = {{10.1177/14644207251319922}},
year = {{2025}},
}
@inproceedings{60290,
abstract = {{The constantly increasing demand for climate protection and resource conservation requires innovative and versatile joining processes that improve adaptability to the joining task and robustness to enable flexible manufacturing on a production line. Therefore, the versatile SPR (V-SPR) and tumbling SPR (T-SPR) were developed. Using the example of a mixed material combination HCT590X+Z (t0 = 1.0 mm) / EN AW-6014 T4 (t0 = 2.0 mm), these processes were examined and compared with regard to the binding mechanisms form closure and force closure using micrographs, non-destructive resistance measurements and destructive torsion tests. For this purpose, a new sample geometry was defined, and the methods were adapted to the SPR process variants.}},
author = {{Lüder, Stephan and Holtkamp, Pia Katharina and Wituschek, Simon and Bobbert, Mathias and Meschut, Gerson and Lechner, Michael and Schmale, Hans Christian}},
booktitle = {{Materials Research Proceedings}},
editor = {{Meschut, Gerson and Bobbert, Mathias and Duflou, Joost and Fratini, Livan and Hagenah, Hinnerk and Martins, Paulo A. F. and Merklein, Marion and Micari, Fabrizio}},
issn = {{2474-395X}},
keywords = {{Joining, Self-Piercing Riveting, Sheet Metal}},
location = {{Paderborn}},
pages = {{101 -- 108}},
publisher = {{Materials Research Forum LLC}},
title = {{{Analysis of the binding mechanisms depending on versatile process variants of self-piercing riveting}}},
doi = {{10.21741/9781644903551-13}},
volume = {{52}},
year = {{2025}},
}
@article{63662,
abstract = {{The accurate prediction of crack initiation and propagation is essential for assessing the structural integrity of mechanically joined components and other complex assemblies. To overcome the limitations of existing finite element tools, a modular Python framework has been developed to automate three-dimensional crack growth simulations. The program combines geometric reconstruction, adaptive remeshing, and the numerical evaluation of fracture mechanics parameters within a single, fully automated workflow. The framework builds on open-source components and remains solver-independent, enabling straightforward integration with commercial or research finite element codes. A dedicated sequence of modules performs all required steps, from mesh separation and crack insertion to local submodeling, stress and displacement mapping, and iterative crack-front update, without manual interaction. The methodology was verified using a mini-compact tension (Mini-CT) specimen as a benchmark case. The numerical results demonstrate the accurate reproduction of stress intensity factors and energy release rates while achieving high computational efficiency through localized refinement. The developed approach provides a robust basis for crack growth simulations of geometrically complex or residual stress-affected structures. Its high degree of automation and flexibility makes it particularly suited for analyzing cracks in clinched and riveted joints, supporting the predictive design and durability assessment of joined lightweight structures.}},
author = {{Krome, Sven and Duffe, Tobias and Kullmer, Gunter and Schramm, Britta and Ostwald, Richard}},
issn = {{2076-3417}},
journal = {{Applied Sciences}},
number = {{1}},
publisher = {{MDPI AG}},
title = {{{Validation and Verification of Novel Three-Dimensional Crack Growth Simulation Software GmshCrack3D}}},
doi = {{10.3390/app16010384}},
volume = {{16}},
year = {{2025}},
}
@article{61822,
abstract = {{The effect of corrosion on mechanically joined components is not well understood. While recent research shows that a brief exposure of clinched specimens to a salt spray environment improves the specimens’ fatigue life, other research shows a decrease in load bearing capabilities with increasing corrosion times. These studies primarily focus on galvanic corrosion. It is not entirely clear how other corrosion phenomena, such as pitting corrosion, affect the fatigue life of clinched joints. In this work, a numerical model is used, which is able to simulate corrosion pit growth in EN AW-6014. The experimental polarization data of EN AW-6014 are used directly in the calculation of the interface kinetics parameter of the model.}},
author = {{Harzheim, Sven and Chen, Chin and Hollmer, Katharina and Hofmann, Martin and Zimmermann, Martina and Wallmersperger, Thomas}},
issn = {{0001-5970}},
journal = {{Acta Mechanica}},
publisher = {{Springer Science and Business Media LLC}},
title = {{{Numerical investigation of pitting corrosion in clinched joints}}},
doi = {{10.1007/s00707-025-04248-2}},
year = {{2025}},
}
@inproceedings{60285,
abstract = {{This paper examines the impact of a rotationally superimposed punch stroke on the binding mechanisms of clinched joints of aluminum sheets. As part of the development of a method for ensuring the versatility of clinching, an additional rotational movement of the punch was introduced as a control variable to influence friction in the mechanical joining process. The effect of rotational superimposition on the force-displacement curve of the clinching processes was investigated using four test variants with different kinematics. The primary objective was to evaluate the binding mechanisms that maintain the integrity of the clinched joint. To evaluate the force closure of the resulting joint, two testing methods were employed throughout the course of the research, non-destructive resistance measurement using four-wire sensing method and destructive torsion testing. A crucial factor influencing the efficacy of the process is surface cleanliness, as contaminants between joining partners can impede the effectiveness of the clinched joint. Therefore, all specimens were meticulously cleaned prior to experimentation. This method exhibits promising potential in creating clinched joints that align with the demands of flexible manufacturing environments.}},
author = {{Lüder, Stephan and Wolf, Eugen and Schmale, Hans Christian and Brosius, Alexander}},
booktitle = {{MATEC Web of Conferences}},
issn = {{2261-236X}},
keywords = {{Joining, Sheet Metal, Tribology, Clinching}},
location = {{Lisbon}},
publisher = {{EDP Sciences}},
title = {{{Investigation of the impact of a rotationally superimposed punch stroke on the binding mechanisms of a clinched joint}}},
doi = {{10.1051/matecconf/202540801086}},
volume = {{408}},
year = {{2025}},
}
@article{62172,
author = {{Kokew, Stephan Matthias and Al-Daghistani, Raid}},
issn = {{1864-9483}},
journal = {{Cibedo-Beiträge}},
pages = {{88–89.}},
publisher = {{Aschendorff}},
title = {{{Bericht: Ressourcen für Resilienz in islamischer Tradition. Theologische, ethische und mystische Perspektiven}}},
volume = {{2/2025}},
year = {{2025}},
}