Modeling the Java Bytecode Verifier

The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly in the Bytecode Verifier, a critical component used to verify class semantics before loading is complete. This paper describes a method for representing Java security constraints using the Alloy modeling language. It further describes a system for performing a security analysis on any block of Java bytecodes by converting the bytes into relation initializers in Alloy. Any counterexamples found by the Alloy analyzer correspond directly to insecure code. Analysis of the approach in the context of known security exploits is provided. This type of analysis represents a significant departure from standard malware analysis methods based on signatures or anomaly detection.

Unprecedented loss of ammonia assimilation capability in a urease-encoding bacterial mutualist.

BACKGROUND: Blochmannia are obligately intracellular bacterial mutualists of ants of the tribe Camponotini. Blochmannia perform key nutritional functions for the host, including synthesis of several essential amino acids. We used Illumina technology to sequence the genome of Blochmannia associated with Camponotus vafer. RESULTS: Although Blochmannia vafer retains many nutritional functions, it is missing glutamine synthetase (glnA), a component of the nitrogen recycling pathway encoded by the previously sequenced B. floridanus and B. pennsylvanicus. With the exception of Ureaplasma, B. vafer is the only sequenced bacterium to date that encodes urease but lacks the ability to assimilate ammonia into glutamine or glutamate. Loss of glnA occurred in a deletion hotspot near the putative replication origin. Overall, compared to the likely gene set of their common ancestor, 31 genes are missing or eroded in B. vafer, compared to 28 in B. floridanus and four in B. pennsylvanicus. Three genes (queA, visC and yggS) show convergent loss or erosion, suggesting relaxed selection for their functions. Eight B. vafer genes contain frameshifts in homopolymeric tracts that may be corrected by transcriptional slippage. Two of these encode DNA replication proteins: dnaX, which we infer is also frameshifted in B. floridanus, and dnaG. CONCLUSIONS: Comparing the B. vafer genome with B. pennsylvanicus and B. floridanus refines the core genes shared within the mutualist group, thereby clarifying functions required across ant host species. This third genome also allows us to track gene loss and erosion in a phylogenetic context to more fully understand processes of genome reduction.

Methodological considerations in reserve system selection: a case study of Malagasy Lemurs.

Although data quality and weighting decisions impact the outputs of reserve selection algorithms, these factors have not been closely studied. We examine these methodological issues in the use of reserve selection algorithms by comparing: (1) quality of input data and (2) use of different weighting methods for prioritizing among species. In 2003, the government of Madagascar, a global biodiversity hotspot, committed to tripling the size of its protected area network to protect 10% of the country’s total land area. We apply the Zonation reserve selection algorithm to distribution data for 52 lemur species to identify priority areas for the expansion of Madagascar’s reserve network. We assess the similarity of the areas selected, as well as the proportions of lemur ranges protected in the resulting areas when different forms of input data were used: extent of occurrence versus refined extent of occurrence. Low overlap between the areas selected suggests that refined extent of occurrence data are highly desirable, and to best protect lemur species, we recommend refining extent of occurrence ranges using habitat and altitude limitations. Reserve areas were also selected for protection based on three different species weighting schemes, resulting in marked variation in proportional representation of species among the IUCN Red List of Threatened Species extinction risk categories. This result demonstrates that assignment of species weights influences whether a reserve network prioritizes maximizing overall species protection or maximizing protection of the most threatened species.

Detection of BRAF V600E mutation by pyrosequencing

Introduction: Detection of the V600E hotspot mutation in BRAF oncogene is extremely useful for the screening of hereditary non-polyposis colorectal cancer (Lynch's syndrome) and for the prediction of sensitivity to MEK inhibitors. Here we describe a method for detecting this mutation based upon pyrosequencing technology.

Existing and emerging high impact invasive species are characterized by higher functional responses than natives

Predicting ecological impacts of invasive species and identifying potentially damaging future invaders are research priorities. Since damage by invaders is characterized by their depletion of resources, comparisons of the ‘functional response’ (FR; resource uptake rate as a function of resource density) of invaders and natives might predict invader impact. We tested this by comparing FRs of the ecologically damaging ‘world's worst’ invasive fish, the largemouth bass (Micropterus salmoides), with a native equivalent, the Cape kurper (Sandelia capensis), and an emerging invader, the sharptooth catfish (Clarias gariepinus), with the native river goby (Glossogobius callidus), in South Africa, a global invasion hotspot. Using tadpoles (Hyperolius marmoratus) as prey, we found that the invaders consumed significantly more than natives. Attack rates at low prey densities within invader/native comparisons reflected similarities in predatory strategies; however, both invasive species displayed significantly higher Type II FRs than the native comparators. This was driven by significantly lower prey handling times by invaders, resulting in significantly higher maximum feeding rates. The higher FRs of these invaders are thus congruent with, and can predict, their impacts on native communities. Comparative FRs may be a rapid and reliable method for predicting ecological impacts of emerging and future invasive species.

The prognostic significance of the aberrant extremes of p53 immunophenotypes in breast cancer

Aims: The utility of p53 as a prognostic assay has been elusive. The aims of this study were to describe a novel, reproducible scoring system and assess the relationship between differential p53 immunohistochemistry (IHC) expression patterns, TP53 mutation status and patient outcomes in breast cancer.

Methods and Results: Tissue microarrays were used to study p53 IHC expression patterns: expression was defined as extreme positive (EP), extreme negative (EN), and non-extreme (NE; intermediate patterns). Overall survival (OS) was used to define patient outcome. A representative subgroup (n = 30) showing the various p53 immunophenotypes was analysed for TP53 hotspot mutation status (exons 4-9). Extreme expression of any type occurred in 176 of 288 (61%) cases. As compared with NE expression, EP expression was significantly associated (P = 0.039) with poorer OS. In addition, as compared with NE expression, EN expression was associated (P = 0.059) with poorer OS. Combining cases showing either EP or EN expression better predicted OS than either pattern alone (P = 0.028). This combination immunophenotype was significant in univariate but not multivariate analysis. In subgroup analysis, six substitution exon mutations were detected, all corresponding to extreme IHC phenotypes. Five missense mutations corresponded to EP staining, and the nonsense mutation corresponded to EN staining. No mutations were detected in the NE group.

Conclusions: Patients with extreme p53 IHC expression have a worse OS than those with NE expression. Accounting for EN as well as EP expression improves the prognostic impact. Extreme expression positively correlates with nodal stage and histological grade, and negatively with hormone receptor status. Extreme expression may relate to specific mutational status.

Pattern Recognition Approach for Road Collision Hotspots Analysis: Case Study of Northern Ireland

In order to address road safety effectively, it is essential to understand all the factors, which
attribute to the occurrence of a road collision. This is achieved through road safety
assessment measures, which are primarily based on historical crash data. Recent advances
in uncertain reasoning technology have led to the development of robust machine learning
techniques, which are suitable for investigating road traffic collision data. These techniques
include supervised learning (e.g. SVM) and unsupervised learning (e.g. Cluster Analysis).
This study extends upon previous research work, carried out in Coll et al. [3], which
proposed a non-linear aggregation framework for identifying temporal and spatial hotspots.
The results from Coll et al. [3] identified Lisburn area as the hotspot, in terms of road safety,
in Northern Ireland. This study aims to use Cluster Analysis, to investigate and highlight any
hidden patterns associated with collisions that occurred in Lisburn area, which in turn, will
provide more clarity in the causation factors so that appropriate countermeasures can be put
in place.

The geographical structure of British bird distributions:diversity, spatial turnover and scale

1. Using data on the spatial distribution of the British avifauna, we address three basic questions about the spatial structure of assemblages: (i) Is there a relationship between species richness (alpha diversity) and spatial turnover of species (beta diversity)? (ii) Do high richness locations have fewer species in common with neighbouring areas than low richness locations?, and (iii) Are any such relationships contingent on spatial scale (resolution or quadrat area), and do they reflect the operation of a particular kind of species-area relationship (SAR)?

2. For all measures of spatial turnover, we found a negative relationship with species richness. This held across all scales, with the exception of turnover measured as beta (sim).

3. Higher richness areas were found to have more species in common with neighbouring areas.

4. The logarithmic SAR fitted better than the power SAR overall, and fitted significantly better in areas with low richness and high turnover.

5. Spatial patterns of both turnover and richness vary with scale. The finest scale richness pattern (10 km) and the coarse scale richness pattern (90 km) are statistically unrelated. The same is true of the turnover patterns.

6. With coarsening scale, locations of the most species-rich quadrats move north. This observed sensitivity of richness 'hotspot' location to spatial scale has implications for conservation biology, e.g. the location of a reserve selected on the basis of maximum richness may change considerably with reserve size or scale of analysis.

7. Average turnover measured using indices declined with coarsening scale, but the average number of species gained or lost between neighbouring quadrats was essentially scale invariant at 10-13 species, despite mean richness rising from 80 to 146 species (across an 81-fold area increase). We show that this kind of scale invariance is consistent with the logarithmic SAR.

Diagnostic value of increased sensitivity by massively parallel sequencing

Routine molecular diagnostics modalities are unable to confidently detect low frequency mutations (<5-15%) that may indicate response to targeted therapies. We confirm the presence of a low frequency NRAS mutation in a rectal cancer patient using massively parallel sequencing when previous Sanger sequencing results proved negative and Q-PCR testing inconclusive. There is increasing evidence that these low frequency mutations may confer resistance to anti-EGFR therapy. In view of negative/inconclusive Sanger sequencing and Q-PCR results for NRAS mutations in a KRAS wt rectal case, the diagnostic biopsy and 4 distinct subpopulations of cells in the resection specimen after conventional chemo/radiotherapy were massively parallel sequenced using the Ion Torrent PGM. DNA was derived from FFPE rectal cancer tissue and amplicons produced using the Cancer Hotspot Panel V2 and sequenced using semiconductor technology. NRAS mutations were observed at varying frequencies in the patient biopsy (12.2%) and all four subpopulations of cells in the resection with an average frequency of 7.3% (lowest 2.6%). The results of the NGS also provided the mutational status of 49 other genes that may have prognostic or predictive value, including KRAS and PIK3CA. NGS technology has been postulated in diagnostics because of its capability to generate results in large panels of clinically meaningful genes in a cost-effective manner. This case illustrates another potential advantage of this technology: its use for detecting low frequency mutations that may influence therapeutic decisions in cancer treatment.

Environmental factors, clipping and fire: effects on cerrado (Brazilian savanna) native and invasive grasses

The Brazilian Cerrado houses a hugely diverse biota and is considered a conservation hotspot. One of the greatest threats to the integrity of this ecosystem is introduced African grasses, which can competitively exclude native grasses and cause changes in the microclimate and other disturbances. The Cerrado is a mosaic vegetation that provides different combinations, both spatially and temporally, of conditions that can become natural stressors to the herbaceous vegetation (water, nutrient and light availability). These mosaics are reflected in differences in relationships among native and invasive species, affecting competition and creating situations (place/season) that are more, or less, susceptible to invasion. The present study aimed to identify the different biological responses of native (Aristida recurvata, Aristida setifolia, Axonopus barbigerus, Echinolaena inflexa, Gymnopogon spicatus, Paspalum gardnerianum, Paspalum stellatum, Schizachyrium microstachyum, Schizachyrium sanguineum) and invasive (Melinis minutiflora and Andropogon gayanus) grasses to variations in natural stressors and to disturbance (fire and clipping), in order to understand changes in ecosystem functioning and competition processes between the grasses, and to understand invasion dynamics in this ecosystem. The presence of invasive species proved to affect the ecosystem functioning by increasing soil feeding activity. These differences were no longer observed in the dry season or when fires were frequent, showing that water availability and fire are more detrimental to soil feeding activity than is the vegetation. Laboratory experiments showed that both drought and flood simulated scenarios damaged both species, although the invasive species performed better under all watering conditions and responded better to fertilization. Underlying mechanisms such as the efficiency of photosynthesis and antioxidant mechanisms helped to explain this behavior. The invasive species grew faster and showed less cellular damage and a healthier photosystem, reflected in higher assimilation rates under stress. These differences between the native and invasive species were reduced with clipping, especially in dry soil with no fertilization, where the native species recovered better in relation to the pre-clipping levels. Flooding was as stressful as drought, but the invasive species can bypass this issue by growing an extensive root system, especially in the better-drained soils. Fire is more detrimental than clipping, with a slower recovery, while post-fire temperatures affect the germination of both invasive and native seeds and may be an important factor influencing the persistence of a diverse biota. This approach will finally contribute to the choice of the appropriate management techniques to preserve the Cerrado’s biodiversity.

Birdwatcher profile in the Ria Formosa Natural Park

Dissertação de mestrado, Economia do Turismo e Desenvolvimento Regional, Faculdade de Economia, Universidade do Algarve, 2015

Comparing Zostera and Spartina environments in relation to carbon burial: a sedimentary and geochemical approach from Ria Formosa

Dissertação de mestrado, Biologia Marinha, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

Avaliação do estatuto de conservação da flora endémica de Cabo Verde

Tese de mestrado. Biologia (Ecologia e Gestão Ambiental). Universidade de Lisboa, Faculdade de Ciências, 2014

Migração de ligações Wi-Fi não seguras para ligações seguras, após autenticação em captive portal

Atualmente a popularidade das comunicações Wi-Fi tem crescido, os utilizadores acedem a partir de vários dispositivos como telemóveis, tablets, computadores portáteis sendo estes utilizados por qualquer pessoa nos mais variados locais. Com esta utilização massiva por parte dos utilizadores surgiram os hotspots Wi-Fi públicos (em aeroportos, estações de comboios, etc) que permitem a ligação de clientes recorrendo a ligações wireless não seguras (ou abertas). Tais hotspots utilizam, após a ligação de um cliente, um captive portal que captura o tráfego IP com origem no cliente e o redireciona para uma página Web de entrada. A página Web permite ao cliente comprar tempo de acesso à Internet ou, caso já seja um cliente da empresa, autenticar-se para ter acesso à Internet. A necessidade da ligação aberta assenta na possibilidade do operador do hotspot vender acesso à Internet a utilizadores não conhecidos (caso contrário teria de fornecerlhes uma senha previamente). No entanto, fornecer um acesso à Internet wireless sem qualquer tipo de segurança ao nível físico permite que qualquer outro utilizador consiga obter informação sobre a navegação Web dos utilizadores ligados (ex.: escuta de pedidos DNS). Nesta tese pretende-se apresentar uma solução que estenda um dos atuais mecanismos de autenticação Wi-Fi (WPA, WPA2) para que permita, após autenticação em captive portal, a migração de uma ligação aberta para uma ligação segura.

Les transformations microbiennes de l’azote dans les grandes rivières

Les rivières reçoivent de l'azote de leurs bassins versants et elles constituent les derniers sites de transformations des nutriments avant leur livraison aux zones côtières. Les transformations de l’azote inorganique dissous en azote gazeux sont très variables et peuvent avoir un impact à la fois sur l’eutrophisation des côtes et les émissions de gaz à effet de serre à l’échelle globale. Avec l’augmentation de la charge en azote d’origine anthropique vers les écosystèmes aquatiques, les modèles d’émissions de gaz à effet de serre prédisent une augmentation des émissions d’oxyde nitreux (N2O) dans les rivières. Les mesures directes de N2O dans le Lac Saint-Pierre (LSP), un élargissement du Fleuve Saint-Laurent (SLR) indiquent que bien qu’étant une source nette de N2O vers l'atmosphère, les flux de N2O dans LSP sont faibles comparés à ceux des autres grandes rivières et fleuves du monde. Les émissions varient saisonnièrement et inter-annuellement à cause des changements hydrologiques. Les ratios d’émissions N2O: N2 sont également influencés par l’hydrologie et de faibles ratios sont observés dans des conditions de débit d'eau plus élevée et de charge en N élevé. Dans une analyse effectuée sur plusieurs grandes rivières, la charge hydraulique des systèmes semble moduler la relation entre les flux de N2O annuels et les concentrations de nitrate dans les rivières. Dans SLR, des tapis de cyanobactéries colonisant les zones à faible concentration de nitrate sont une source nette d’azote grâce à leur capacité de fixer l’azote atmosphérique (N2). Étant donné que la fixation a lieu pendant le jour alors que les concentrations d'oxygène dans la colonne d'eau sont sursaturées, nous supposons que la fixation de l’azote est effectuée dans des micro-zones d’anoxie et/ou possiblement par des diazotrophes hétérotrophes. La fixation de N dans les tapis explique le remplacement de près de 33 % de la perte de N par dénitrification dans tout l'écosystème au cours de la période d'étude. Dans la portion du fleuve Hudson soumis à la marée, la dénitrification et la production de N2 est très variable selon le type de végétation. La dénitrification est associée à la dynamique en oxygène dissous particulière à chaque espèce durant la marée descendante. La production de N2 est extrêmement élevée dans les zones occupées par les plantes envahissantes à feuilles flottantes (Trapa natans) mais elle est négligeable dans la végétation indigène submergée. Une estimation de la production de N2 dans les lits de Trapa durant l’été, suggère que ces lits représentent une zone très active d’élimination de l’azote. En effet, les grands lits de Trapa ne représentent que 2,7% de la superficie totale de la portion de fleuve étudiée, mais ils éliminent entre 70 et 100% de l'azote total retenu dans cette section pendant les mois d'été et contribuent à près de 25% de l’élimination annuelle d’azote.