Technische Universität Darmstadt

About: Technische Universität Darmstadt is a education organization based out in Darmstadt, Germany. It is known for research contribution in the topics: Neutron & Finite element method. The organization has 17316 authors who have published 40619 publications receiving 937916 citations. The organization is also known as: Darmstadt University of Technology & University of Darmstadt.

C-FLAT: Control-Flow Attestation for Embedded Systems Software

Abstract: Remote attestation is a crucial security service particularly relevant to increasingly popular IoT (and other embedded) devices. It allows a trusted party (verifier) to learn the state of a remote, and potentially malware-infected, device (prover). Most existing approaches are static in nature and only check whether benign software is initially loaded on the prover. However, they are vulnerable to runtime attacks that hijack the application's control or data flow, e.g., via return-oriented programming or data-oriented exploits. As a concrete step towards more comprehensive runtime remote attestation, we present the design and implementation of Control-FLow ATtestation (C-FLAT) that enables remote attestation of an application's control-flow path, without requiring the source code. We describe a full prototype implementation of C-FLAT on Raspberry Pi using its ARM TrustZone hardware security extensions. We evaluate C-FLAT's performance using a real-world embedded (cyber-physical) application, and demonstrate its efficacy against control-flow hijacking attacks.

Charged-current weak interaction processes in hot and dense matter and its impact on the spectra of neutrinos emitted from protoneutron star cooling.

Abstract: We perform three-flavor Boltzmann neutrino transport radiation hydrodynamics simulations covering a period of 3 s after the formation of a protoneutron star in a core-collapse supernova explosion. Our results show that a treatment of charged-current neutrino interactions in hot and dense matter as suggested by Reddy et al. [Phys. Rev. D 58, 013009 (1998)] has a strong impact on the luminosities and spectra of the emitted neutrinos. When compared with simulations that neglect mean-field effects on the neutrino opacities, we find that the luminosities of all neutrino flavors are reduced while the spectral differences between electron neutrinos and antineutrinos are increased. Their magnitude depends on the equation of state and in particular on the symmetry energy at subnuclear densities. These modifications reduce the proton-to-nucleon ratio of the outflow, increasing slightly their entropy. They are expected to have a substantial impact on nucleosynthesis in neutrino-driven winds, even though they do not result in conditions that favor an $r$ process. Contrary to previous findings, our results show that the spectra of electron neutrinos remain substantially different from those of other (anti)neutrino flavors during the entire deleptonization phase of the protoneutron star. The obtained luminosity and spectral changes are also expected to have important consequences for neutrino flavor oscillations and neutrino detection on Earth.

Results of the ASY-EOS experiment at GSI: The symmetry energy at suprasaturation density

Abstract: Directed and elliptic flows of neutrons and light charged particles were measured for the reaction 197Au+197Au at 400 MeV/nucleon incident energy within the ASY-EOS experimental campaign at the GSI laboratory. The detection system consisted of the Large Area Neutron Detector LAND, combined with parts of the CHIMERA multidetector, of the ALADIN Time-of-flight Wall, and of the Washington-University Microball detector. The latter three arrays were used for the event characterization and reaction-plane reconstruction. In addition, an array of triple telescopes, KRATTA, was used for complementary measurements of the isotopic composition and flows of light charged particles. From the comparison of the elliptic flow ratio of neutrons with respect to charged particles with UrQMD predictions, a value \gamma = 0.72 \pm 0.19 is obtained for the power-law coefficient describing the density dependence of the potential part in the parametrization of the symmetry energy. It represents a new and more stringent constraint for the regime of supra-saturation density and confirms, with a considerably smaller uncertainty, the moderately soft to linear density dependence deduced from the earlier FOPI-LAND data. The densities probed are shown to reach beyond twice saturation.