a r t i c l e i n f o a b s t r a c t Abstract interpretation Program semantics Metamorphic malware detection Self-modifying programs Metamorphic code includes self-modifying semantics-preserving transformations to exploit code diversification. The impact of metamorphism is growing in security and code protection technologies, both for preventing malicious host attacks, e.g., in software divers...

In continental arcs the extension of geothermal gradients derived from shallow crustal levels to depth predicts widespread melting at pressures that are inconsistent with seismic studies. Numerical models of low-pressure metamorphism in continental arcs suggest that these extrapolations are problematic because magmatic advection is the dominant mechanism of heat transport in these terranes rath...

The studied serpentinites occur as isolated masses, imbricate slices of variable thicknesses and as small blocks or lenses incorporated in the sedimentary matrix of the mélange. They are thrusted over the associated island arc calc-alkaline metavolcanics and replaced by talccarbonates along shear zones. Lack of thermal effect of the serpentinites upon the enveloping country rocks, as well as th...

The Austroalpine nappe stack of the Pohorje Mountains (Mts.) in northeastern Slovenia comprises a suite eclogite facies metamorphic rocks that were partially assigned to Eo-Alpine ultrahigh-pressure metamorphism (UHPM). We selected micaschist, which was previously related this metamorphism, for detailed study including chemical zonation garnet and potassic white mica, identification mineral inc...

This paper presents a formalisation of the different existing code mutation techniques (polymorphism and metamorphism) by means of formal grammars. While very few theoretical results are known about the detection complexity of viral mutation techniques, we exhaustively address this critical issue by considering the Chomsky classification of formal grammars. This enables us to determine which fa...

Introduction: The source and duration of the heating event responsible for eucrite metamorphism is not well constrained. Three hypotheses have been proposed for the source of heat: Impact, conduction from the mantle, and rapid production of successive flows [1]. Textural and chemical relationships of noncumulate eucrites are investigated to constrain the thermal and temporal conditions responsi...

Four metasedimentary zircon populations from different tectonometamorphic units of the Central and the Northern Schwarzwald (Variscan belt, SWGermany) were investigated using SEM, cathodoluminescence and SHRIMP dating. Despite partially strong modifications of primary internal morphologies during Variscan metamorphism at amphibolite (750 C, 0.4– 0.6 GPa) and granulite-facies conditions (950–1,0...

The Dalradian Supergroup of Britain and Ireland is mineralised by gold-tellurium vein deposits. The host succession includes carbonaceous, pyritic shales (pelites) which were a source of trace elements, including gold and tellurium. LA-ICP-MS mapping of pyrite crystals shows that late stages are enriched in gold, tellurium and lead, representing concentration of these elements during metamorphi...

Retrograde metamorphism (mineral hydration, carbonation and oxidation) is important in controlling the composition and rheology of the Earth’s crust and upper mantle, particularly along tectonic plate margins, and in proposed mechanisms for geothermal power generation and engineered, geological carbon storage. Retrograde processes can lead to an increase in solid mass and volume, or can be redu...

The current configuration of the Alpujarride complex (Befic Orogen) comprises a stack of thinned tectonic units, made up mainly of continental crest. P T path modelling in different levels of an Alpujarride unit (the Salobrefia tectonic unit) reveals a high-pressure metamorphic stage followed by subsequent decompression at nearly isothermal conditions. Nevertheless, the P T conditions differ fr...