Unwinding in Information Flow Security

We study information flow security properties which are persistent, in the sense that if a system is secure then all of its reachable states are secure too. We present a uniform characterization of these properties in terms of a general unwinding schema. This unwinding characterization allows us to prove several compositionality properties of the considered security classes. Moreover, we exploit the unwinding condition to dictate the form of the rules we can use to incrementally develop secure processes and to rectify insecure processes

Variable magnitude and intensity of strombolian explosions: Focus on the eruptive processes for a first classification scheme for Stromboli volcano (Italy)

Strombolian activity varies in magnitude and intensity and may evolve into a threat for the local populations living on volcanoes with persistent or semi-persistent activity. A key example comes from the activity of Stromboli volcano (Italy). The “ordinary” Strombolian activity, consisting in intermittent ejection of bombs and lapilli around the eruptive vents, is sometimes interrupted by high-energy explosive events (locally called major or paroxysmal explosions), which can affect very large areas. Recently, the 3 July 2019 explosive paroxysm at Stromboli volcano caused serious concerns in the local population and media, having killed one tourist while hiking on the volcano. Major explosions, albeit not endangering inhabited areas, often produce a fallout of bombs and lapilli in zones frequented by tourists. Despite this, the classification of Strombolian explosions on the basis of their intensity derives from measurements that are not always replicable (i.e., field surveys). Hence the need for a fast, objective and quantitative classification of explosive activity. Here, we use images of the monitoring camera network, seismicity and ground deformation data, to characterize and distinguish paroxysms, impacting the whole island, from major explosions, that affect the summit of the volcano above 500 m elevation, and from the persistent, mild explosive activity that normally has no impact on the local population. This analysis comprises 12 explosive events occurring at Stromboli after 25 June 2019 and is updated to 6 December 2020

TITAN2D Simulations of Pyroclastic Flows from Small Scale Eruption at Mt. Baekdusan

Many eruptions of Mt. Baekdusan volcano have been recorded in the historical literatures, and there were unrest precursors in 2002. Based on the geological survey results, it has been recognized that Mt. Baekdusan’s Plinian eruptions had caused ashfall, followed by the occurrence of pyroclastic flows, which were caused by the collapse of eruption column. Therefore, we simulated the range of the impacts of pyroclastic flows, which were caused by small eruptions from a specific crater. Based on the simulation results, it can be interpreted that, when the pyroclastic flows are caused by the eruption column collapse from an eruption with less than VEI 3, the impacts will range from the outer rim of the caldera to the mountain slope 7 km at the maximum distance. Furthermore, it is interpreted that, when the eruption column occurs by the crater located inside the caldera, most will be deposited inside the caldera and what overflows will be deposited thickly mostly in the north valley, the upper stream region of Erdaobaihe.Published615-6253V. Dinamiche e scenari eruttiviN/A or not JCRrestricte

The Simulations Chain of the MURAVES Experiment

The MUon RAdiography of VESuvius (MURAVES) project is aimed at studying the summital cone of Mt. Vesuvius, an active and hazardous volcano near Naples, Italy. A detailed Monte Carlo simulation framework is necessary in order to investigate the effects of the experimental constraints and to perform comparisons with the actual observations. Our Monte Carlo setup combines a variety of Monte Carlo programs that address different aspects of cosmic muon simulation, from muon generation in the Earth’s upper atmosphere to the response of the detector, including the interactions with the material of the volcano. We will elaborate on the rationale for our technical choices, including the trade-off between speed and accuracy, and on the lessons learned, which are of general interest for similar use cases in muon radiograph

Improvement of ash plume monitoring, modeling and hazard assessment in the MED-SUV project

Volcanic ash clouds produced by explosive eruptions represent a strong problem for civil aviation, road transportation and other human activities. Since Etna volcano produced in the last 35 years more the 200 explosive eruptions of small and medium size. The INGV, liable for its volcano monitoring, developed since 2006 a specific system for forecasting and monitoring Etna’s volcanic ash plumes in collaboration with several national and international institutions. Between 12 January 2011 and 31 December 2013 Etna produced forty-six basaltic lava fountains. Every paroxysm produced an eruption column ranging from a few up to eleven kilometers of height above sea level. The ash cloud contaminated the controlled airspace (CTR) of Catania and Reggio Calabria airports and caused tephra fallout on eastern Sicily sometime disrupting the operations of these airports. In order to give prompt and detailed warnings to the Aviation and Civil Protection authorities, ash plumes monitoring at Osservatorio Etneo, the INGV department in Catania, is carried out using multispectral (from visible to infrared) satellite and ground-based video-surveillance images; seismic and infrasound signals processed in real-time, a Doppler RADAR (Voldorad IIB) able to detect the eruption column in all weather conditions and a LIDAR (AMPLE) for retrieving backscattering and depolarization values of the ash clouds. Forecasting is performed running tephra dispersal models using weather forecast data, and then plotting results on maps published on a dedicated website. 24/7 Control Room operators were able to timely nform Aviation and Civil Protection operators for an effective aviation safety management. A variety of multidisciplinary activities are planned in the MED-SUV project with reference to volcanic ash observations and studies. These include: 1) physical and analogue laboratory experiments on ash dispersal and aggregation; 2) integration of satellite data (e.g. METEOSAT, MODIS) and ground- based measurements (e.g., RADAR, LIDAR) of Etna’s volcanic plumes to quantify mass eruption rate, grain-size distribution at source, and ash cloud concentration; 3) improvement of tools and automatic procedures for the short-term forecasting of volcanic ash dispersal by adopting a multi-model and multi-scenario approach; 4) development of short-term forecasting tools able to use direct measurements of the plume and ash cloud in almost real time (now-casting); 5) development of long-term probabilistic ash fallout maps at the supersite volcanoes.PublishedVienna, Austria4V. Vulcani e ambienteope

Trauma coagulopathy and its outcomes

Background and Objectives: Trauma coagulopathy begins at the moment of trauma. This study investigated whether coagulopathy upon arrival in the emergency room (ER) is correlated with increased hemotransfusion requirement, more hemodynamic instability, more severe anatomical damage, a greater need for hospitalization, and hospitalization in the intensive care unit (ICU). We also analyzed whether trauma coagulopathy is correlated with unfavorable indices, such as acidemia, lactate increase, and base excess (BE) increase. Material and Methods: We conducted a prospective, monocentric, observational study of all patients (n = 503) referred to the Department of Emergency and Acceptance, IRCCS Fondazione Policlinico San Matteo, Pavia, for major trauma from 1 January 2018 to 30 January 2019. Results: Of the 503 patients, 204 had trauma coagulopathy (group 1), whereas 299 patients (group 2) did not. Group 1 had a higher hemotransfusion rate than group 2. In group 1, 15% of patients showed hemodynamic instability compared with only 8% of group 2. The shock index (SI) distribution was worse in group 1 than in group 2. Group 1 was more often hypotensive, tachycardic, and with low oxygen saturation, and had a more severe injury severity score than group 2. In addition, 47% of group 1 had three or more body districts involved compared with 23% of group 2. The hospitalization rate was higher in group 1 than in group 2 (76% vs. 58%). The length of hospitalization was >10 days for 45% of group 1 compared with 28% of group 2. The hospitalization rate in the ICU was higher in group 1 than in group 2 (22% vs. 14.8%). The average duration of ICU hospitalization was longer in group 1 than in group 2 (12.5 vs. 9.78 days). Mortality was higher in group 1 than in group 2 (3.92% vs. 0.98%). Group 1 more often had acidemia and high lactates than group 2. Group 1 also more often had BE <−6. Conclusions: Trauma coagulopathy patients, upon arrival in the ER, have greater hemotransfusion (p = 0.016) requirements and need hospitalization (p = 0.032) more frequently than patients without trauma coagulopathy. Trauma coagulopathy seems to be more present in patients with a higher injury severity score (ISS) (p = 0.000) and a greater number of anatomical districts involved (p = 0.000). Head trauma (p = 0.000) and abdominal trauma (p = 0.057) seem related to the development of trauma coagulopathy. Males seem more exposed than females in developing trauma coagulopathy (p = 0.018). Upon arrival in the ER, the presence of tachycardia or alteration of SI and its derivatives can allow early detection of patients with trauma coagulopathy

Assessment of Psychophysiological Differences of West Point Cadets and Civilian Controls Immersed within a Virtual Environment

Abstract. An important question for ecologically valid virtual environments is whether cohort characteristics affect immersion. If a method for assessing a cer-tain neurocognitive capacity (e.g. attentional processing) is adapted to a cohort other than the one that was used for the initial normative distribution, data ob-tained in the new cohort may not be reflective of the neurocognitive capacity in question. We assessed the psychophysiological impact of different levels of immersion upon persons from two cohorts: 1) civilian university students; and 2) West Point Cadets. Cadets were found to have diminished startle eyeblink amplitude compared with civilians, which may reflect that cadets experienced less negative affect during the scenario in general. Further, heart rate data re-vealed that Cadets had significantly lower heart rates than Civilians in the “low ” but not “high ” immersion condition. This suggests that “low ” immersion conditions may not have the ecological validity necessary to evoke consistent affect across cohorts

Changes in the eruptive style of Stromboli Volcano before the 2019 paroxysmal phase discovered through SOM clustering of seismo-acoustic features compared with camera images and GBInSAR data

Two paroxysmal explosions occurred at Stromboli on 3 July and 28 August 2019, the first of which caused the death of a young tourist. After the first paroxysm an effusive activity began from the summit vents and affected the NW flank of the island for the entire period between the two paroxysms. We carried out an unsupervised analysis of seismic and infrasonic data of Strombolian explosions over 10 months (15 November 2018&ndash;15 September 2019) using a Self-Organizing Map (SOM) neural network to recognize changes in the eruptive patterns of Stromboli that preceded the paroxysms. We used a dataset of 14,289 events. The SOM analysis identified three main clusters that showed different occurrences with time indicating a clear change in Stromboli&rsquo;s eruptive style before the paroxysm of 3 July 2019. We compared the main clusters with the recordings of the fixed monitoring cameras and with the Ground-Based Interferometric Synthetic Aperture Radar measurements, and found that the clusters are associated with different types of Strombolian explosions and different deformation patterns of the summit area. Our findings provide new insights into Strombolian eruptive mechanisms and new perspectives to improve the monitoring of Stromboli and other open conduit volcanoes

The MURAVES muon telescope: a low power consumption muon tracker for muon radiography applications

Muon Radiography or muography is based on the measurement of the absorption or scattering of cosmic muons, as they pass through the interior of large scale bodies, In particular, absorption muography has been applied to investigate the presence of hidden cavities inside the pyramids or underground, as well as the interior of volcanoes' edifices. The MURAVES project has the challenging aim of investigating the density distribution inside the summit of Mt. Vesuvius. The information, together with that coming from gravimetric measurements, is useful as input to models, to predict how an eruption may develop. The MURAVES apparatus is a robust and low power consumption muon telescope consisting of an array of three identical and independent muon trackers, which provide in a modular way a total sensitive area of three square meters. Each tracker consists of four doublets of planes of plastic scintillator bars with orthogonal orientation, optically coupled to Silicon photomultipliers for the readout of the signal. The muon telescope has been installed on the slope of the volcano and has collected a first set of data, which are being analyzed