Cryptanalysis of an efficient three-party password-based key exchange scheme

Three-party password-authenticated key exchange (3PAKE) protocols allow entities to negotiate a secret session key with the aid of a trusted server with whom they share a human-memorable password. Recently, Lou and Huang proposed a simple 3PAKE protocol based on elliptic curve cryptography, which is claimed to be secure and to provide superior efficiency when compared with similar-purpose solutions. In this paper, however, we show that the solution is vulnerable to key-compromise impersonation and offline password guessing attacks from system insiders or outsiders, which indicates that the empirical approach used to evaluate the scheme's security is flawed. These results highlight the need of employing provable security approaches when designing and analyzing PAKE schemes. Copyright (c) 2011 John Wiley & Sons, Ltd.

An illustrated key to the genera and subgenera of the Recent azooxanthellate Scleractinia (Cnidaria, Anthozoa), with an attached glossary

The 120 presently recognized genera and seven subgenera of the azooxanthellate Scleractinia are keyed using gross morphological characters of the corallum. All genera are illustrated with calicular and side views of coralla. All termes used in the key are defined in an illustrated glossary. A table of all species-level keys, both comprehensive and faunistic, is provided covering the last 40 years.

An illustrated key to the soldiers of Cyranotermes Araujo with a new species from Amazonia (Isoptera: Termitidae: Nasutitermitinae)

Until now, the Neotropical termite genus Cyranotermes was known from three species: C. timuassu Araujo, C. glaber Constantino, and C. caete Cancello. In this paper a new species, Cyranotermes karipuna, n. sp., is described and illustrated from imago, worker, and soldier castes, along with its nest. It is also provided an illustrated identification key to species of Cyranotermes, a map with the occurrence of all species, and the first description of the imago caste of Cyranotermes, based on the first description of the imago of C. timuassu, and the imago of the new species.

Description of the female and new records of Triatoma baratai Carcavallo & Jurberg, 2000 (Hemiptera: Heteroptera: Reduviidae: Triatominae) from Mato Grosso do Sul, Brazil, with a key to the species of the Triatoma matogrossensis subcomplex

Triatoma baratai Carcavallo & Jurberg, 2000, a species similar to Triatoma williami Galvao, Souza & Lima, 1967 and belonging to the T. matogrossensis subcomplex, was described based on a male specimen collected in a sylvatic environment, near a cave, in Bonito county, Bodoquena mountain range, state of Mato Grosso do Sul, Brazil. In the present work we describe the female of T. baratai, captured in a chicken house, in Nioaque county, state of Mato Grosso do Sul, Brazil. Furthermore, we recorded the occurrence of T. baratai in domiciles and peridomestic environment in another four municipalities (Bodoquena, Bela Vista, Corumba, and Miranda), extending its geographical distribution. Finally, we present a key to the species of the Triatoma matogrossensis subcomplex.

A review of the genus Speocarcinus Stimpson, 1859 (Crustacea: Brachyura: Xanthidae), with a key to its species and the description of one new species

Speocarcinus dentatus n. sp. is described from the southwestern Atlantic. The new species can be easily separated from its congeners by a suite of carapace and appendage characters. Speocarcinus Stimpson, 1859, now includes eight extant species, all from the Atlantic or Pacific coasts of the Americas. Additional characters to further differentiate between S. carolinensis Stimpson, 1859, and S. lobatus Guinot, 1969, and between S. granulimanus Rathbun, 1894, and S. spinicarpus Guinot, 1969 are documented. The lectotype of S. granulimanus is first described and a key to the species of Speocarcinus is provided.

A new species of Catapagurus A. Milne-Edwards (Crustacea: Decapoda: Anomura: Paguridae) from Brazil, with a key to the western Atlantic species

We describe herein a new species of Catapagurus, the twenty-second species of the genus. This is the third species of Catapagurus recorded from the western Atlantic and the second from Brazil; the remaining 19 species occur in the Indo-Pacific region.

Blattisocius (Acari, Blattisociidae) species from Brazil, with description of a new species, redescription of Blattisocius keegani and a key for the separation of the world species of the genus

Fifteen species have been placed in Blattisocius Keegan of which only three were previously reported from Brazil. These mites are found in several different habitats and often mentioned as predators of pests of stored food. In this work, specimens of this genus collected from commercial dog food in Brazil were determined as a new species which is here described as Blattisocius everti n. sp. and the closely related Blattisocius keegani Fox, here redescribed. Subsequently, other specimens of Blattisocius deposited in the mite collection of "Departamento de Entomologia e Acarologia of Escola Superior de Agricultura "Luiz de Queiroz", Universidade de Sao Paulo" were examined and identified. Finally, a dichotomous key to separate the world species of Blattisocius was elaborated based on the examination of the specimens at hand and on the descriptions and redescriptions of other species.

Tree species richness, does it play a key role on a forest restoration plantation?

The Brazilian Atlantic forest is considered one of the world's biodiversity conservation hotspot. Today there is less than ten percent remaining. Therefore it is necessary to restore these ecosystems. There are many ways of achieving restoration's main goals, but there is a lack of ecological studies that analyzes tree species richness as a variable. Thus, this study's goal is to investigate if there is a difference between a forest restoration in a gradient of tree species richness that varies from 20, 60 to 120 species, by using the litterfall as an indicator. Every month, for one year the forest litter was collected from litter traps that were previously installed. Results revealed that stands produced litterfall by the increasing gradient of species was of 5,370, 5,909 and 6,432 kg ha(-1) yr(-1). The statistical analyses revealed no significant difference among them. Therefore this six-year-old forest restoration plantation shows no difference on the litter production by the tree species richness.

A new species of Hydrogamasellus (Acari: Mesostigmata: Ologamasidae) from Brazil, with a key to the world species of the genus

Hydrogamasellus alagoensis n. sp. is described based on the morphology of adult females and males collected from litter in the State of Alagoas, Brazil. Six new combinations are proposed, namely Acugamasus avium (Karg, 1976) n. comb., Ologamasus lanceolatus (Karg, 1976) n. comb., Ologamasus microcrinis (Karg, 1979) n. comb., Ologamasus testudinis (Karg, 1976) n. comb., Rykellus longopilus (Karg, 1976) n. comb. and Rykellus ubatubaensis (Hirschmann, 1966) n. comb., and a key for the separation of females of the eighteen recognizable world Hydrogamasellus species is provided.

A new conceptual model of nitrification: A key factor in resolving the metabolic state of the ocean

Máster en Oceanografía

Ottimizzazione di un Sistema di Key Performance Indicators per la Divisione Engineering aziendale. Il caso INTERTABA S.p.A.

Il seguente elaborato è la diretta conseguenza di un periodo di stage, pari a cinque mesi, svolto presso l’azienda INTERTABA S.p.A., a Zola Predosa (BO). Il Dipartimento presso cui è stato svolto il tirocinio è l’Engineering. In particolare è stata compiuta un’analisi dei KPIs presenti e sono state proposte delle azioni migliorative. Il lavoro si è sviluppato in tre fasi. Nella prima fase è stata fatta un’analisi dei KPIs attuali per ciascuna funzione appartenente all’Engineering: Engineering Support, Project Engineering, Plant & Utilities Maintenance, Technical Warehouse e General Services. Nella seconda fase sono state descritte, per ciascuna funzione, alcune proposte migliorative per i KPIs presenti. Infine, per alcune funzioni, sono state proposte alcune iniziative in merito all’implementazione di nuovi KPIs.

Fine tuning of on-growing diets for farmed marine fish species as a key tool to sustain the aquaculture development

The aim of this thesis was to investigate some important key factors able to promote the prospected growth of the aquaculture sector. The limited availability of fishmeal and fish oil led the attention of the aquafeed industry to reduce the dependency on marine raw materials in favor of vegetable ingredients. In Chapter 2, we reported the effects of fishmeal replacement by a mixture of plant proteins in turbot (Psetta maxima L.) juveniles. At the end of the trial, it was found that over the 15% plant protein inclusion can cause stress and exert negative effects on growth performance and welfare. Climate change aroused the attention of the aquafeed industry toward the production of specific diets capable to counteract high temperatures. In Chapter 3, we investigated the most suitable dietary lipid level for gilthead seabream (Sparus aurata L.) reared at Mediterranean summer temperature. In this trial, it was highlighted that 18% dietary lipid allows a protein sparing effect, thus making the farming of this species economically and environmentally more sustainable. The introduction of new farmed fish species makes necessary the development of new species-specific diets. In Chapter 4, we assessed growth response and feed utilization of common sole (Solea solea L.) juveniles fed graded dietary lipid levels. At the end of the trial, it was found that increasing dietary lipids over 8% led to a substantial decline in growth performance and feed utilization indices. In Chapter 5, we investigated the suitability of mussel meal as alternative ingredient in diets for common sole juveniles. Mussel meal proved to be a very effective alternative ingredient for enhancing growth performance, feed palatability and feed utilization in sole irrespectively to the tested inclusion levels. This thesis highlighted the importance of formulating more specific diets in order to support the aquaculture growth in a sustainable way.

Key issues in diagnosing and treating acute aortic syndromes: results from the metropolitan area of Bologna network

Background: Survival of patients with Acute Aortic Syndrome (AAS) may relate to the speed of diagnosis. Diagnostic delay is exacerbated by non classical presentations such as myocardial ischemia or acute heart failure (AHF). However little is known about clinical implications and pathophysiological mechanisms of Troponin T elevation and AHF in AAS. Methods and Results: Data were collected from a prospective metropolitan AAS registry (398 patients diagnosed between 2000 and 2013). Troponin T values (either standard or high sensitivity assay, HS) were available in 248 patients (60%) of the registry population; the overall frequency of troponin positivity was 28% (ranging from 16% to 54%, using standard or HS assay respectively, p = 0.001). Troponin positivity was associated with a twofold increased risk of long in-hospital diagnostic time (OR 1.92, 95% CI 1.05-3.52, p = 0.03), but not with in-hospital mortality. The combination of positive troponin and ACS-like ECG abnormalities resulted in a significantly increased risk of inappropriate therapy due to a misdiagnosis of ACS (OR 2.48, 95% CI 1.12-5.54, p = 0.02). Patients with AHF were identified by the presence of dyspnea as presentation symptom or radiological signs of pulmonary congestion or cardiogenic shock. The overall frequency of AHF was 28 % (32% type A vs. 20% type B AAS, p = 0.01). AHF was due to a variety of pathophysiological mechanisms including cardiac tamponade (26%), aortic regurgitation (25%), myocardial ischemia (17%), hypertensive crisis (10%). AHF was associated with increased surgical delay and with increased risk of in-hospital death (adjusted OR 1.97 95% CI1.13-3.37,p=0.01). Conclusions: Troponin positivity (particularly HS) was a frequent finding in AAS. Abnormal troponin values were strongly associated with ACS-like ECG findings, in-hospital diagnostic delay, and inappropriate therapy. AHF was associated with increased surgical delay and was an independent predictor of in-hospital mortality.