574 research outputs found

    Evaluating atomicity, and integrity of correct memory acquisition methods

    Get PDF
    AbstractWith increased use of forensic memory analysis, the soundness of memory acquisition becomes more important. We therefore present a black box analysis technique in which memory contents are constantly changed via our payload application with a traceable access pattern. This way, given the correctness of a memory acquisition procedure, we can evaluate its atomicity and one aspect of integrity as defined by Vömel and Freiling (2012). We evaluated our approach on several memory acquisition techniques represented by 12 memory acquisition tools using a Windows 7 64-bit operating system running on a i5-2400 with 2 GiB RAM. We found user-mode memory acquisition software (ProcDump, Windows Task Manager), which suspend the process during memory acquisition, to provide perfect atomicity and integrity for snapshots of process memory. Cold-boot attacks (memimage, msramdump), virtualization (VirtualBox) and emulation (QEMU) all deliver perfect atomicity and integrity of full physical system memory snapshots. Kernel level software acquisition tools (FTK Imager, DumpIt, win64dd, WinPmem) exhibit memory smear from concurrent system activity reducing their atomicity. There integrity is reduced by running within the imaged memory space, hence overwriting part of the memory contents to be acquired. The least amount of atomicity is exhibited by a DMA attack (inception using IEEE 1394). Further, even if DMA is performed completely in hardware, integrity violations with respect to the point in time of the acquisition let this method appear inferior to all other methods. Our evaluation methodology is generalizable to examine further memory acquisition procedures on other operating systems and platforms

    Configuration management for Lyee software

    Get PDF
    This article presents a configuration management concept for software projects using Lyee methodology. To illustrate this concept, an introduction in configuration management is given. Then, the structure of Lyee programs is defined by sets and their dependencies. From this structure, the actual configuration management concept is deduced and discussed by rendering the structure for an existing configuration management testbed and describing the involved key players as well as the necessary procedures

    Specification of human germ cell fate with enhanced progression capability supported by hindgut organoids

    Get PDF
    Human primordial germ cells (hPGCs), the precursors of sperm and eggs, are specified during weeks 2-3 after fertilization. Few studies on ex vivo and in vitro cultured human embryos reported plausible hPGCs on embryonic day (E) 12-13 and in an E16-17 gastrulating embryo. In vitro, hPGC-like cells (hPGCLCs) can be specified from the intermediary pluripotent stage or peri-gastrulation precursors. Here, we explore the broad spectrum of hPGCLC precursors and how different precursors impact hPGCLC development. We show that resetting precursors can give rise to hPGCLCs (rhPGCLCs) in response to BMP. Strikingly, rhPGCLCs co-cultured with human hindgut organoids progress at a pace reminiscent of in vivo hPGC devel-opment, unlike those derived from peri-gastrulation precursors. Moreover, rhPGCLC specification depends on both EOMES and TBXT, not just on EOMES as for peri-gastrulation hPGCLCs. Importantly, our study pro-vides the foundation for developing efficient in vitro models of human gametogenesis.Peer reviewe

    Electronic polarization in pentacene crystals and thin films

    Full text link
    Electronic polarization is evaluated in pentacene crystals and in thin films on a metallic substrate using a self-consistent method for computing charge redistribution in non-overlapping molecules. The optical dielectric constant and its principal axes are reported for a neutral crystal. The polarization energies P+ and P- of a cation and anion at infinite separation are found for both molecules in the crystal's unit cell in the bulk, at the surface, and at the organic-metal interface of a film of N molecular layers. We find that a single pentacene layer with herring-bone packing provides a screening environment approaching the bulk. The polarization contribution to the transport gap P=(P+)+(P-), which is 2.01 eV in the bulk, decreases and increases by only ~ 10% at surfaces and interfaces, respectively. We also compute the polarization energy of charge-transfer (CT) states with fixed separation between anion and cation, and compare to electroabsorption data and to submolecular calculations. Electronic polarization of ~ 1 eV per charge has a major role for transport in organic molecular systems with limited overlap.Comment: 10 revtex pages, 6 PS figures embedde

    Phase-field-crystal models for condensed matter dynamics on atomic length and diffusive time scales: an overview

    Get PDF
    Here, we review the basic concepts and applications of the phase-field-crystal (PFC) method, which is one of the latest simulation methodologies in materials science for problems, where atomic- and microscales are tightly coupled. The PFC method operates on atomic length and diffusive time scales, and thus constitutes a computationally efficient alternative to molecular simulation methods. Its intense development in materials science started fairly recently following the work by Elder et al. [Phys. Rev. Lett. 88 (2002), p. 245701]. Since these initial studies, dynamical density functional theory and thermodynamic concepts have been linked to the PFC approach to serve as further theoretical fundaments for the latter. In this review, we summarize these methodological development steps as well as the most important applications of the PFC method with a special focus on the interaction of development steps taken in hard and soft matter physics, respectively. Doing so, we hope to present today's state of the art in PFC modelling as well as the potential, which might still arise from this method in physics and materials science in the nearby future.Comment: 95 pages, 48 figure

    Topological Defects in Nematic Droplets of Hard Spherocylinders

    Full text link
    Using computer simulations we investigate the microscopic structure of the singular director field within a nematic droplet. As a theoretical model for nematic liquid crystals we take hard spherocylinders. To induce an overall topological charge, the particles are either confined to a two-dimensional circular cavity with homeotropic boundary or to the surface of a three-dimensional sphere. Both systems exhibit half-integer topological point defects. The isotropic defect core has a radius of the order of one particle length and is surrounded by free-standing density oscillations. The effective interaction between two defects is investigated. All results should be experimentally observable in thin sheets of colloidal liquid crystals.Comment: 13 pages, 16 figures, Phys. Rev.
    • …
    corecore