Relating process languages for security and communication correctness (extended abstract)

Process calculi are expressive specification languages for concurrency. They have been very successful in two research strands: (a) the analysis of security protocols and (b) the enforcement of correct message-passing programs. Despite their shared foundations, languages and reasoning techniques for (a) and (b) have been separately developed. Here we connect two representative calculi from (a) and (b): we encode a (high-level) π-calculus for multiparty sessions into a (low-level) applied π-calculus for security protocols. We establish the correctness of our encoding, and we show how it enables the integrated analysis of security properties and communication correctness by re-using existing tools

Congenital Heart Block Maternal Sera Autoantibodies Target an Extracellular Epitope on the α1G T-Type Calcium Channel in Human Fetal Hearts

Background:Congenital heart block (CHB) is a transplacentally acquired autoimmune disease associated with anti-Ro/SSA and anti-La/SSB maternal autoantibodies and is characterized primarily by atrioventricular (AV) block of the fetal heart. This study aims to investigate whether the T-type calcium channel subunit α1G may be a fetal target of maternal sera autoantibodies in CHB.Methodology/Principal Findings:We demonstrate differential mRNA expression of the T-type calcium channel CACNA1G (α1G gene) in the AV junction of human fetal hearts compared to the apex (18-22.6 weeks gestation). Using human fetal hearts (20-22 wks gestation), our immunoprecipitation (IP), Western blot analysis and immunofluorescence (IF) staining results, taken together, demonstrate accessibility of the α1G epitope on the surfaces of cardiomyocytes as well as reactivity of maternal serum from CHB affected pregnancies to the α1G protein. By ELISA we demonstrated maternal sera reactivity to α1G was significantly higher in CHB maternal sera compared to controls, and reactivity was epitope mapped to a peptide designated as p305 (corresponding to aa305-319 of the extracellular loop linking transmembrane segments S5-S6 in α1G repeat I). Maternal sera from CHB affected pregnancies also reacted more weakly to the homologous region (7/15 amino acids conserved) of the α1H channel. Electrophysiology experiments with single-cell patch-clamp also demonstrated effects of CHB maternal sera on T-type current in mouse sinoatrial node (SAN) cells.Conclusions/Significance:Taken together, these results indicate that CHB maternal sera antibodies readily target an extracellular epitope of α1G T-type calcium channels in human fetal cardiomyocytes. CHB maternal sera also show reactivity for α1H suggesting that autoantibodies can target multiple fetal targets. © 2013 Strandberg et al

Generating mice with targeted mutations.

Journal ArticleMutational analysis is one of the most informative approaches available for the study of complex biological processes. It has been particularly successful in the analysis of the biology of bacteria, yeast, the nematode worm Caenorhabditis elegans and the fruit fly Drosophila melanogaster. Extension of this approach to the mouse, through informative, was far less successful relative to what has been achieved with these simpler model organisms. This is because it is not numerically practical in mice to use random mutagenesis to isolate mutations that affect a specified biological process of interest. Nonetheless, biological phenomena such as a sophisticated immune response, cancer, vascular disease or higher-order cognitive function, to mention just a few, must analyzed in organisms that show such phenomena, and for this reason geneticists and other researchers have turned to the mouse. Gene targeting, the means for creating mice with designed mutations in almost any gene, was developed as an alternative to the impractical use of random mutgenesis for pursing genetic analysis in the mouse. Now gene targeting has advanced the genomic manipulations possible in mice to a level that can be matched only in far simple organisms such as bacteria and yeast

A gentle introduction to multiparty asynchronous session types

This article provides a gentle introduction to multiparty session types, a class of behavioural types specifically targeted at describing protocols in distributed systems based on asynchronous communication. The type system ensures well-typed processes to enjoy non-trivial properties, including communication safety, protocol fidelity, as well as progress. The adoption of multiparty session types can positively affect the whole software lifecycle, from design to deployment, improving software reliability and reducing its development costs

The Soluble Recombinant Neisseria meningitidis Adhesin NadAΔ351–405 Stimulates Human Monocytes by Binding to Extracellular Hsp90

The adhesin NadA favors cell adhesion/invasion by hypervirulent Neisseria meningitidis B (MenB). Its recombinant form NadAΔ351–405, devoid of the outer membrane domain, is an immunogenic candidate for an anti-MenB vaccine able to stimulate monocytes, macrophages and dendritic cells. In this study we investigated the molecular mechanism of NadAΔ351–405 cellular effects in monocytes. We show that NadAΔ351–405 (against which we obtained polyclonal antibodies in rabbits), binds to hsp90, but not to other extracellular homologous heat shock proteins grp94 and hsp70, in vitro and on the surface of monocytes, in a temperature dependent way. Pre-incubation of monocytes with the MenB soluble adhesin interfered with the binding of anti-hsp90 and anti-hsp70 antibodies to hsp90 and hsp70 at 37°C, a condition in which specific cell-binding occurs, but not at 0°C, a condition in which specific cell-binding is very diminished. Conversely, pre-incubation of monocytes with anti-hsp90 and anti-hsp70 antibodies did not affected NadAΔ351–405 cell binding in any temperature condition, indicating that it associates to another receptor on their plasma membrane and then laterally diffuses to encounter hsp90. Consistently, polymixin B interfered with NadAΔ351–405 /hsp90 association, abrogated the decrease of anti-hsp90 antibodies binding to the cell surface due to NadAΔ351–405 and inhibited adhesin-induced cytokine/chemokine secretion without affecting monocyte-adhesin binding. Co-stimulation of monocytes with anti-hsp90 antibodies and NadAΔ351–405 determined a stronger but polymixin B insensitive cell activation. This indicated that the formation of a recombinant NadA/hsp90/hsp70 complex, although essential for full monocyte stimulation, can be replaced by anti-hsp90 antibody/hsp90 binding. Finally, the activation of monocytes by NadAΔ351–405 alone or in the presence of anti-hsp90 antibodies were both inhibited by neutralizing anti-TLR4 antibodies, but not by anti-TLR2 antibodies. We propose that hsp90-dependent recruitment into an hsp90/hsp70/TLR4 transducing signal complex is necessary for the immune-stimulating activity of NadAΔ351–405 anti-MenB vaccine candidate

Gene targeting in adult rhesus macaque fibroblasts

<p>Abstract</p> <p>Background</p> <p>Gene targeting in nonhuman primates has the potential to produce critical animal models for translational studies related to human diseases. Successful gene targeting in fibroblasts followed by somatic cell nuclear transfer (SCNT) has been achieved in several species of large mammals but not yet in primates. Our goal was to establish the protocols necessary to achieve gene targeting in primary culture of adult rhesus macaque fibroblasts as a first step in creating nonhuman primate models of genetic disease using nuclear transfer technology.</p> <p>Results</p> <p>A primary culture of adult male fibroblasts was transfected with hTERT to overcome senescence and allow long term <it>in vitro </it>manipulations. Successful gene targeting of the HPRT locus in rhesus macaques was achieved by electroporating S-phase synchronized cells with a construct containing a SV40 enhancer.</p> <p>Conclusion</p> <p>The cell lines reported here could be used for the production of null mutant rhesus macaque models of human genetic disease using SCNT technology. In addition, given the close evolutionary relationship and biological similarity between rhesus macaques and humans, the protocols described here may prove useful in the genetic engineering of human somatic cells.</p

P1 receptors and cytokine secretion

Evidence has accumulated in the last three decades to suggest tissue protection and regeneration by adenosine in multiple different cell types. Adenosine produced in hypoxic or inflamed environments reduces tissue injury and promotes repair by receptor-mediated mechanisms. Among other actions, regulation of cytokine production and secretion by immune cells, astrocytes and microglia (the brain immunocytes) has emerged as a main mechanism at the basis of adenosine effects in diseases characterized by a marked inflammatory component. Many recent studies have highlighted that signalling through A1 and A2A adenosine receptors can powerfully prevent the release of pro-inflammatory cytokines, thus inhibiting inflammation and reperfusion injury. However, the activation of adenosine receptors is not invariably protective of tissues, as signalling through the A2B adenosine receptor has been linked to pro-inflammatory actions which are, at least in part, mediated by increased release of pro-inflammatory cytokines from epithelial cells, astrocytes and fibroblasts. Here, we discuss the multiple actions of P1 receptors on cytokine secretion, by analyzing, in particular, the role of the various adenosine receptor subtypes, the complex reciprocal interplay between the adenosine and the cytokine systems, their pathophysiological significance and the potential of adenosine receptor ligands as new anti-inflammatory agents