Some Properties of DNA from Phage-Infected Bacteria

Replicating T5 or λ phage DNA has been labeled by adding tritiated thymidine for short periods to cultures of phage-infected Escherichia coli before isolation of intracellular DNA. Two procedures are described for separating T5 replicating DNA from DNA of intracellular phage particles. Both T5 and λ replicating DNA had the same bouyant density in cesium chloride as DNA from phage particles but sedimented faster when centrifuged in sucrose density gradients. The fast sedimentation did not appear to be caused by DNA protein or DNA-RNA complexes or by aggregation of DNA, but is probably due to DNA molecules of unusual structure. Experiments involving hydrodynamic shear and sucrose density gradient centrifugation at alkaline pH have suggested that with λ the replicating form of DNA is a linear molecule considerably longer than the DNA molecules of λ-phage particles. The constituent polynucleotide chains of λ but not T5 replicating DNA also appear to be longer than those of phage DNA

Enforcing Programming Guidelines with Region Types and Effects

We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and effect system by Beringer, Grabowski, and Hofmann. It improves upon it by being parametrized over an arbitrary guideline supplied in the form of a finite monoid or automaton and a type annotation or mockup code for external methods. Furthermore, we add a powerful type inference based on precise interprocedural analysis and provide an implementation in the Soot framework which has been tested on a number of benchmarks including large parts of the Stanford SecuriBench.Comment: long version of APLAS'17 pape

Safer in the Clouds (Extended Abstract)

We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.Comment: In Proceedings ICE 2010, arXiv:1010.530

Bayesian modeling of recombination events in bacterial populations

Background: We consider the discovery of recombinant segments jointly with their origins within multilocus DNA sequences from bacteria representing heterogeneous populations of fairly closely related species. The currently available methods for recombination detection capable of probabilistic characterization of uncertainty have a limited applicability in practice as the number of strains in a data set increases. Results: We introduce a Bayesian spatial structural model representing the continuum of origins over sites within the observed sequences, including a probabilistic characterization of uncertainty related to the origin of any particular site. To enable a statistically accurate and practically feasible approach to the analysis of large-scale data sets representing a single genus, we have developed a novel software tool (BRAT, Bayesian Recombination Tracker) implementing the model and the corresponding learning algorithm, which is capable of identifying the posterior optimal structure and to estimate the marginal posterior probabilities of putative origins over the sites. Conclusion: A multitude of challenging simulation scenarios and an analysis of real data from seven housekeeping genes of 120 strains of genus Burkholderia are used to illustrate the possibilities offered by our approach. The software is freely available for download at URL http://web.abo.fi/fak/ mnf//mate/jc/software/brat.html

Intasome architecture and chromatin density modulate retroviral integration into nucleosome

BACKGROUND: Retroviral integration depends on the interaction between intasomes, host chromatin and cellular targeting cofactors as LEDGF/p75 or BET proteins. Previous studies indicated that the retroviral integrase, by itself, may play a role in the local integration site selection within nucleosomal target DNA. We focused our study on this local association by analyzing the intrinsic properties of various retroviral intasomes to functionally accommodate different chromatin structures in the lack of other cofactors. RESULTS: Using in vitro conditions allowing the efficient catalysis of full site integration without these cofactors, we show that distinct retroviral integrases are not equally affected by chromatin compactness. Indeed, while PFV and MLV integration reactions are favored into dense and stable nucleosomes, HIV-1 and ASV concerted integration reactions are preferred into poorly dense chromatin regions of our nucleosomal acceptor templates. Predicted nucleosome occupancy around integration sites identified in infected cells suggests the presence of a nucleosome at the MLV and HIV-1 integration sites surrounded by differently dense chromatin. Further analyses of the relationships between the in vitro integration site selectivity and the structure of the inserted DNA indicate that structural constraints within intasomes could account for their ability to accommodate nucleosomal DNA and could dictate their capability to bind nucleosomes functionally in these specific chromatin contexts. CONCLUSIONS: Thus, both intasome architecture and compactness of the chromatin surrounding the targeted nucleosome appear important determinants of the retroviral integration site selectivity. This supports a mechanism involving a global targeting of the intasomes toward suitable chromatin regions followed by a local integration site selection modulated by the intrinsic structural constraints of the intasomes governing the target DNA bending and dictating their sensitivity toward suitable specific nucleosomal structures and density

Comparison of metal-dependent catalysis by HIV-1 and ASV integrase proteins using a new and rapid, moderate throughput assay for joining activity in solution

<p>Abstract</p> <p>Background</p> <p>HIV-1 integrase (IN) is an attractive target for the development of drugs to treat AIDS, and inhibitors of this viral enzyme are already in the clinic. Nevertheless, there is a continuing need to devise new approaches to block the activity of this viral protein because of the emergence of resistant strains. To facilitate the biochemical analysis of wild-type IN and its derivatives, and to measure the potency of prospective inhibitory compounds, a rapid, moderate throughput solution assay was developed for IN-catalyzed joining of viral and target DNAs, based on the detection of a fluorescent tag.</p> <p>Results</p> <p>A detailed, step-by-step description of the new joining assay is provided. The reactions are run in solution, the products captured on streptavidin beads, and activity is measured by release of a fluorescent tag. The procedure can be scaled up for the analysis of numerous samples, and is substantially more rapid and sensitive than the standard radioactive gel methods. The new assay is validated and its utility demonstrated via a detailed comparison of the Mg⁺⁺- and Mn⁺⁺-dependent activities of the IN proteins from human immunodeficiency virus type 1 (HIV-1) and the avian sarcoma virus (ASV). The results confirm that ASV IN is considerably more active than HIV-1 IN, but with both enzymes the initial rates of joining, and the product yields, are higher in the presence of Mn⁺⁺than Mg⁺⁺. Although the pH optima for these two enzymes are similar with Mn⁺⁺, they differ significantly in the presence of Mg⁺⁺, which is likely due to differences in the molecular environment of the binding region of this physiologically relevant divalent cation. This interpretation is strengthened by the observation that a compound that can inhibit HIV-1 IN in the presence of either metal cofactors is only effective against ASV in the presence of Mn⁺⁺.</p> <p>Conclusion</p> <p>A simplified, assay for measuring the joining activity of retroviral IN in solution is described, which offers several advantages over previous methods and the standard radioactive gel analyses. Based on comparisons of signal to background ratios, the assay is 10–30 times more sensitive than gel analysis, allows more rapid and accurate biochemical analyses of IN catalytic activity, and moderate throughput screening of inhibitory compounds. The assay is validated, and its utility demonstrated in a comparison of the metal-dependent activities of HIV-1 and ASV IN proteins.</p

A CI-Independent Form of Replicative Inhibition: Turn Off of Early Replication of Bacteriophage Lambda

Several earlier studies have described an unusual exclusion phenotype exhibited by cells with plasmids carrying a portion of the replication region of phage lambda. Cells exhibiting this inhibition phenotype (IP) prevent the plating of homo-immune and hybrid hetero-immune lambdoid phages. We have attempted to define aspects of IP, and show that it is directed to repλ phages. IP was observed in cells with plasmids containing a λ DNA fragment including oop, encoding a short OOP micro RNA, and part of the lambda origin of replication, oriλ, defined by iteron sequences ITN1-4 and an adjacent high AT-rich sequence. Transcription of the intact oop sequence from its promoter, pO is required for IP, as are iterons ITN3–4, but not the high AT-rich portion of oriλ. The results suggest that IP silencing is directed to theta mode replication initiation from an infecting repλ genome, or an induced repλ prophage. Phage mutations suppressing IP, i.e., Sip, map within, or adjacent to cro or in O, or both. Our results for plasmid based IP suggest the hypothesis that there is a natural mechanism for silencing early theta-mode replication initiation, i.e. the buildup of λ genomes with oop+ oriλ+ sequence

Deciphering the Code for Retroviral Integration Target Site Selection

Upon cell invasion, retroviruses generate a DNA copy of their RNA genome and integrate retroviral cDNA within host chromosomal DNA. Integration occurs throughout the host cell genome, but target site selection is not random. Each subgroup of retrovirus is distinguished from the others by attraction to particular features on chromosomes. Despite extensive efforts to identify host factors that interact with retrovirion components or chromosome features predictive of integration, little is known about how integration sites are selected. We attempted to identify markers predictive of retroviral integration by exploiting Precision-Recall methods for extracting information from highly skewed datasets to derive robust and discriminating measures of association. ChIPSeq datasets for more than 60 factors were compared with 14 retroviral integration datasets. When compared with MLV, PERV or XMRV integration sites, strong association was observed with STAT1, acetylation of H3 and H4 at several positions, and methylation of H2AZ, H3K4, and K9. By combining peaks from ChIPSeq datasets, a supermarker was identified that localized within 2 kB of 75% of MLV proviruses and detected differences in integration preferences among different cell types. The supermarker predicted the likelihood of integration within specific chromosomal regions in a cell-type specific manner, yielding probabilities for integration into proto-oncogene LMO2 identical to experimentally determined values. The supermarker thus identifies chromosomal features highly favored for retroviral integration, provides clues to the mechanism by which retrovirus integration sites are selected, and offers a tool for predicting cell-type specific proto-oncogene activation by retroviruses

Unexpected Inheritance: Multiple Integrations of Ancient Bornavirus and Ebolavirus/Marburgvirus Sequences in Vertebrate Genomes

Vertebrate genomes contain numerous copies of retroviral sequences, acquired over the course of evolution. Until recently they were thought to be the only type of RNA viruses to be so represented, because integration of a DNA copy of their genome is required for their replication. In this study, an extensive sequence comparison was conducted in which 5,666 viral genes from all known non-retroviral families with single-stranded RNA genomes were matched against the germline genomes of 48 vertebrate species, to determine if such viruses could also contribute to the vertebrate genetic heritage. In 19 of the tested vertebrate species, we discovered as many as 80 high-confidence examples of genomic DNA sequences that appear to be derived, as long ago as 40 million years, from ancestral members of 4 currently circulating virus families with single strand RNA genomes. Surprisingly, almost all of the sequences are related to only two families in the Order Mononegavirales: the Bornaviruses and the Filoviruses, which cause lethal neurological disease and hemorrhagic fevers, respectively. Based on signature landmarks some, and perhaps all, of the endogenous virus-like DNA sequences appear to be LINE element-facilitated integrations derived from viral mRNAs. The integrations represent genes that encode viral nucleocapsid, RNA-dependent-RNA-polymerase, matrix and, possibly, glycoproteins. Integrations are generally limited to one or very few copies of a related viral gene per species, suggesting that once the initial germline integration was obtained (or selected), later integrations failed or provided little advantage to the host. The conservation of relatively long open reading frames for several of the endogenous sequences, the virus-like protein regions represented, and a potential correlation between their presence and a species' resistance to the diseases caused by these pathogens, are consistent with the notion that their products provide some important biological advantage to the species. In addition, the viruses could also benefit, as some resistant species (e.g. bats) may serve as natural reservoirs for their persistence and transmission. Given the stringent limitations imposed in this informatics search, the examples described here should be considered a low estimate of the number of such integration events that have persisted over evolutionary time scales. Clearly, the sources of genetic information in vertebrate genomes are much more diverse than previously suspected

Critical Involvement of the ATM-Dependent DNA Damage Response in the Apoptotic Demise of HIV-1-Elicited Syncytia

DNA damage can activate the oncosuppressor protein ataxia telangiectasia mutated (ATM), which phosphorylates the histone H2AX within characteristic DNA damage foci. Here, we show that ATM undergoes an activating phosphorylation in syncytia elicited by the envelope glycoprotein complex (Env) of human immunodeficiency virus-1 (HIV-1) in vitro. This was accompanied by aggregation of ATM in discrete nuclear foci that also contained phospho-histone H2AX. DNA damage foci containing phosphorylated ATM and H2AX were detectable in syncytia present in the brain or lymph nodes from patients with HIV-1 infection, as well as in a fraction of blood leukocytes, correlating with viral status. Knockdown of ATM or of its obligate activating factor NBS1 (Nijmegen breakage syndrome 1 protein), as well as pharmacological inhibition of ATM with KU-55933, inhibited H2AX phosphorylation and prevented Env-elicited syncytia from undergoing apoptosis. ATM was found indispensable for the activation of MAP kinase p38, which catalyzes the activating phosphorylation of p53 on serine 46, thereby causing p53 dependent apoptosis. Both wild type HIV-1 and an HIV-1 mutant lacking integrase activity induced syncytial apoptosis, which could be suppressed by inhibiting ATM. HIV-1-infected T lymphoblasts from patients with inactivating ATM or NBS1 mutations also exhibited reduced syncytial apoptosis. Altogether these results indicate that apoptosis induced by a fusogenic HIV-1 Env follows a pro-apoptotic pathway involving the sequential activation of ATM, p38MAPK and p53