Name-passing calculi and crypto-primitives: A survey

The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of different ideas and techniques, one inevitably ends up leaving out the approaches that do not fit the intended roadmap. Secondly, the literature on the subject has been growing at very high rate over the years. As a consequence, we decided to concentrate on few papers that introduce the main ideas, in the hope that discussing them in some detail will provide sufficient insight for further reading

Arsenic precipitation by an anaerobic arsenic-respiring bacterial strain isolated from the polluted sediments of Orbetello Lagoon, Italy

AIMS: To isolate and characterize an anaerobic bacterial strain from the deeper polluted lagoon sediment able to use as electron acceptors [As(V)] and sulfate (SO4(2-)), using lactate as an electron donor. METHODS AND RESULTS: Methods for isolation from polluted lagoon sediments included anaerobic enrichment cultures in the presence of As(V) and SO4(2-). Reduction of As(V) to As(III) was observed during the growth of the bacterial strain, and the final concentration of As(III) was lower than the initial As(V) one, suggesting the immobilization of As(III) in the yellow precipitate. The precipitate was identified by energy dispersive spectroscopy X-ray as arsenic sulfide. Scanning electron microscopy (SEM) revealed rod-shaped bacterial cells embedded in the precipitate, where net-like formations strictly related to the bacterial cells were visible. The surface of the precipitate showed the adhesion of bacterial cells, forming clusters. Transmission electron microscopy (TEM) also highlighted precipitates inside the bacterial cells and on their surface. Following 16S rRNA sequencing, the bacterial strain 063 was assigned to the genus Desulfosporosinus. CONCLUSIONS: This study reports, for the first time, the isolation from the polluted lagoon sediments of a strain capable of respiring and using As(V) and SO4(2-) as electron acceptors with lactate as the sole carbon and energy source with the formation of an arsenic sulfide precipitate. SIGNIFICANCE AND IMPACT OF THE STUDY: The identification of these properties provides novel insight into the possible use of the anaerobic strain in bioremediation processes and also adds to the knowledge on the biogeochemical cycling of arsenic

Channel Abstractions for Network Security

Process algebraic techniques for distributed systems are increasingly being targeted at identifying abstractions adequate both for high-level programming and specification, and for security analysis and verification. Drawing on our earlier work in [Bugliesi & Focardi 2008] F08}, we investigate the expressive power of a core set of security and network abstractions that provide high-level primitives for the specifications of the honest principals in a network, while at the same time enabling an analysis of the network-level adversarial attacks that may be mounted by an intruder. We analyze various bisimulation equivalences for security, arising from endowing the intruder with (i) different adversarial capabilities and (ii) increasingly powerful control on the interaction among the distributed principals of a network. By comparing the relative strength of the bisimulation equivalences, we obtain a direct measure of the discriminating power of the intruder, hence of the expressiveness of the corresponding intruder model

EChO Payload electronics architecture and SW design

EChO is a three-modules (VNIR, SWIR, MWIR), highly integrated spectrometer, covering the wavelength range from 0.55 $\mu$m, to 11.0 $\mu$m. The baseline design includes the goal wavelength extension to 0.4 $\mu$m while an optional LWIR module extends the range to the goal wavelength of 16.0 $\mu$m. An Instrument Control Unit (ICU) is foreseen as the main electronic subsystem interfacing the spacecraft and collecting data from all the payload spectrometers modules. ICU is in charge of two main tasks: the overall payload control (Instrument Control Function) and the housekeepings and scientific data digital processing (Data Processing Function), including the lossless compression prior to store the science data to the Solid State Mass Memory of the Spacecraft. These two main tasks are accomplished thanks to the Payload On Board Software (P-OBSW) running on the ICU CPUs.Comment: Experimental Astronomy - EChO Special Issue 201

A logarithmic epiperimetric inequality for the obstacle problem

For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a new tool, which we call logarithmic epiperimetric inequality, which yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of the singular set, thus improving previous results of Caffarelli and Monneau

Monotonicity formulas for obstacle problems with Lipschitz coefficients

We prove quasi-monotonicity formulas for classical obstacle-type problems with energies being the sum of a quadratic form with Lipschitz coefficients, and a Hölder continuous linear term.With the help of those formulas we are able to carry out the full analysis of the regularity of free-boundary points following the approaches by Caffarelli (J Fourier Anal Appl 4(4–5), 383–402, 1998), Monneau (J Geom Anal 13(2), 359–389, 2003), and Weiss (Invent Math 138(1), 23–50, 1999)

The Visible and Near Infrared module of EChO

The Visible and Near Infrared (VNIR) is one of the modules of EChO, the Exoplanets Characterization Observatory proposed to ESA for an M-class mission. EChO is aimed to observe planets while transiting by their suns. Then the instrument had to be designed to assure a high efficiency over the whole spectral range. In fact, it has to be able to observe stars with an apparent magnitude Mv= 9-12 and to see contrasts of the order of 10-4 - 10-5 necessary to reveal the characteristics of the atmospheres of the exoplanets under investigation. VNIR is a spectrometer in a cross-dispersed configuration, covering the 0.4-2.5 micron spectral range with a resolving power of about 330 and a field of view of 2 arcsec. It is functionally split into two channels respectively working in the 0.4-1 and 1.0-2.5 micron spectral ranges. Such a solution is imposed by the fact the light at short wavelengths has to be shared with the EChO Fine Guiding System (FGS) devoted to the pointing of the stars under observation. The spectrometer makes use of a HgCdTe detector of 512 by 512 pixels, 18 micron pitch and working at a temperature of 45K as the entire VNIR optical bench. The instrument has been interfaced to the telescope optics by two optical fibers, one per channel, to assure an easier coupling and an easier colocation of the instrument inside the EChO optical bench.Comment: 26 page