Typing and Compositionality for Security Protocols::A Generalization to the Geometric Fragment

We integrate, and improve upon, prior relative soundness results of two kinds. The first kind are typing results showing that any security protocol that fulfils a number of sufficient conditions has an attack if it has a well-typed attack. The second kind considers the parallel composition of protocols, showing that when running two protocols in parallel allows for an attack, then at least one of the protocols has an attack in isolation. The most important generalization over previous work is the support for all security properties of the geometric fragment

The SNAPSHOT study protocol : SNAcking, Physical activity, Self-regulation, and Heart rate Over Time

Peer reviewedPublisher PD

Detection of Gamma-Ray Emission from the Starburst Galaxies M82 and NGC 253 with the Large Area Telescope on Fermi

We report the detection of high-energy gamma-ray emission from two starburst galaxies using data obtained with the Large Area Telescope on board the Fermi Gamma-ray Space Telescope. Steady point-like emission above 200 MeV has been detected at significance levels of 6.8 sigma and 4.8 sigma respectively, from sources positionally coincident with locations of the starburst galaxies M82 and NGC 253. The total fluxes of the sources are consistent with gamma-ray emission originating from the interaction of cosmic rays with local interstellar gas and radiation fields and constitute evidence for a link between massive star formation and gamma-ray emission in star-forming galaxies.Comment: Submitted to ApJ Letter

Fermi Gamma-ray Imaging of a Radio Galaxy

The Fermi Gamma-ray Space Telescope has detected the gamma-ray glow emanating from the giant radio lobes of the radio galaxy Centaurus A. The resolved gamma-ray image shows the lobes clearly separated from the central active source. In contrast to all other active galaxies detected so far in high-energy gamma-rays, the lobe flux constitutes a considerable portion (>1/2) of the total source emission. The gamma-ray emission from the lobes is interpreted as inverse Compton scattered relic radiation from the cosmic microwave background (CMB), with additional contribution at higher energies from the infrared-to-optical extragalactic background light (EBL). These measurements provide gamma-ray constraints on the magnetic field and particle energy content in radio galaxy lobes, and a promising method to probe the cosmic relic photon fields.Comment: 27 pages, includes Supplementary Online Material; corresponding authors: C.C. Cheung, Y. Fukazawa, J. Knodlseder, L. Stawar

Fermi Large Area Telescope observations of PSR J1836+5925

The discovery of the gamma-ray pulsar PSR J1836+5925, powering the formerly unidentified EGRET source 3EG J1835+5918, was one of the early accomplishments of the Fermi Large Area Telescope (LAT). Sitting 25 degrees off the Galactic plane, PSR J1836+5925 is a 173 ms pulsar with a characteristic age of 1.8 million years, a spindown luminosity of 1.1$\times10^{34}$ erg s$^{-1}$, and a large off-peak emission component, making it quite unusual among the known gamma-ray pulsar population. We present an analysis of one year of LAT data, including an updated timing solution, detailed spectral results and a long-term light curve showing no indication of variability. No evidence for a surrounding pulsar wind nebula is seen and the spectral characteristics of the off-peak emission indicate it is likely magnetospheric. Analysis of recent XMM observations of the X-ray counterpart yields a detailed characterization of its spectrum, which, like Geminga, is consistent with that of a neutron star showing evidence for both magnetospheric and thermal emission.Comment: Accepted to Astrophysical Journa

Measurements of B --> D_s^{(*)+} D^{*(*)} Branching Fractions

This article describes improved measurements by CLEO of the $B^0 \to D_s^+ D^{*-}$ and $B^0 \to D_s^{*+} D^{*-}$ branching fractions, and first evidence for the decay $B^+ \to D_s^{(*)+} \bar{D}^{**0}$, where $\bar{D}^{**0}$ represents the sum of the $\bar{D}_1(2420)^0$, $\bar{D}_2^*(2460)^0$, and $\bar{D}_1(j=1/2)^0$ L=1 charm meson states. Also reported is the first measurement of the $D_s^{*+}$ polarization in the decay $B^0 \to D_s^{*+} D^{*-}$. A partial reconstruction technique, employing only the fully reconstructed $D_s^+$ and slow pion $\pi_s^-$ from the $D^{*-} \to \bar{D}^0 \pi^-_s$ decay, enhances sensitivity. The observed branching fractions are ${\mathcal B} (B^0 \to D_s^+ D^{*-}) = (1.10 \pm 0.18 \pm 0.10 \pm 0.28)$, ${\mathcal B} (B^0 \to D_s^{*+} D^{*-}) = (1.82 \pm 0.37 \pm 0.24 \pm 0.46)$, and ${\mathcal B} (B^+ \to D_s^{(*)+} \bar{D}^{**0}) = (2.73 \pm 0.78 \pm 0.48 \pm 0.68)$, where the first error is statistical, the second systematic, and the third is due to the uncertainty in the $D_s^+ \to \phi \pi^+$ branching fraction. The measured $D_s^{*+}$ longitudinal polarization, $\Gamma_L/\Gamma = (50.6 \pm 13.9 \pm 3.6)$, is consistent with the factorization prediction of 54%.Comment: 26 pages (LaTeX), 15 figures. To be submitted to PR

A change in the optical polarization associated with a gamma-ray flare in the blazar 3C 279

It is widely accepted that strong and variable radiation detected over all accessible energy bands in a number of active galaxies arises from a relativistic, Doppler-boosted jet pointing close to our line of sight. The size of the emitting zone and the location of this region relative to the central supermassive black hole are, however, poorly known, with estimates ranging from light-hours to a light-year or more. Here we report the coincidence of a gamma-ray flare with a dramatic change of optical polarization angle. This provides evidence for co-spatiality of optical and gamma-ray emission regions and indicates a highly ordered jet magnetic field. The results also require a non-axisymmetric structure of the emission zone, implying a curved trajectory for the emitting material within the jet, with the dissipation region located at a considerable distance from the black hole, at about 10^5 gravitational radii.Comment: Published in Nature issued on 18 February 2010. Corresponding authors: Masaaki Hayashida and Greg Madejsk

The Mitochondrial Ca(2+) Uniporter: Structure, Function, and Pharmacology.

Mitochondrial Ca(2+) uptake is crucial for an array of cellular functions while an imbalance can elicit cell death. In this chapter, we briefly reviewed the various modes of mitochondrial Ca(2+) uptake and our current understanding of mitochondrial Ca(2+) homeostasis in regards to cell physiology and pathophysiology. Further, this chapter focuses on the molecular identities, intracellular regulators as well as the pharmacology of mitochondrial Ca(2+) uniporter complex

The p53 Inhibitor MDM2 Facilitates Sonic Hedgehog-Mediated Tumorigenesis and Influences Cerebellar Foliation

Disruption of cerebellar granular neuronal precursor (GNP) maturation can result in defects in motor coordination and learning, or in medulloblastoma, the most common childhood brain tumor. The Sonic Hedgehog (Shh) pathway is important for GNP proliferation; however, the factors regulating the extent and timing of GNP proliferation, as well as GNP differentiation and migration are poorly understood. The p53 tumor suppressor has been shown to negatively regulate the activity of the Shh effector, Gli1, in neural stem cells; however, the contribution of p53 to the regulation of Shh signaling in GNPs during cerebellar development has not been determined. Here, we exploited a hypomorphic allele of Mdm2 (Mdm2puro), which encodes a critical negative regulator of p53, to alter the level of wild-type MDM2 and p53 in vivo. We report that mice with reduced levels of MDM2 and increased levels of p53 have small cerebella with shortened folia, reminiscent of deficient Shh signaling. Indeed, Shh signaling in Mdm2-deficient GNPs is attenuated, concomitant with decreased expression of the Shh transducers, Gli1 and Gli2. We also find that Shh stimulation of GNPs promotes MDM2 accumulation and enhances phosphorylation at serine 166, a modification known to increase MDM2-p53 binding. Significantly, loss of MDM2 in Ptch1+/− mice, a model for Shh-mediated human medulloblastoma, impedes cerebellar tumorigenesis. Together, these results place MDM2 at a major nexus between the p53 and Shh signaling pathways in GNPs, with key roles in cerebellar development, GNP survival, cerebellar foliation, and MB tumorigenesis