Universally-composable privacy amplification from causality constraints

We consider schemes for secret key distribution which use as a resource correlations that violate Bell inequalities. We provide the first security proof for such schemes, according to the strongest notion of security, the so called universally-composable security. Our security proof does not rely on the validity of quantum mechanics, it solely relies on the impossibility of arbitrarily-fast signaling between separate physical systems. This allows for secret communication in situations where the participants distrust their quantum devices.Comment: 4 page

Crescimento e competição do pinho-bravo em remanescente de floresta natural em Colombo, PR .

Editores técnicos: Marcílio José Thomazini, Elenice Fritzsons, Patrícia Raquel Silva, Guilherme Schnell e Schuhli, Denise Jeton Cardoso, Luziane Franciscon. EVINCI. Resumos

Security analysis of standard authentication and key agreement protocols utilising timestamps

We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this technique to two of the most popular models adopted in literature (Bellare-Rogaway and Canetti-Krawczyk). We analyse previous results obtained using these models in light of the proposed extensions, and demonstrate their application to a new class of protocols. In the timed CK model we concentrate on modular design and analysis of protocols, and propose a more efficient timed authenticator relying on timestamps. The structure of this new authenticator implies that an authentication mechanism standardised in ISO-9798 is secure. Finally, we use our timed extension to the BR model to establish the security of an efficient ISO protocol for key transport and unilateral entity authentication

Silvicultura urbana em municípios brasileiros com maior concentração populacional.

Resumo

Mezilaurus itauba sustainable management in the Brazilian Amazon.

Edição dos abstracts do 24º IUFRO World Congress, 2014, Salt Lake City. Sustaining forests, sustaining people: the role of research

Dinâmica de crescimento de espécies de um remanescente de Floresta Ombrófila Mista em Colombo, PR.

Estudos visando o uso adequado dos recursos da floresta são indispensáveis para o manejo e conservação de remanescentes florestais, como os da Floresta Ombrófila Mista. Tendo em vista a necessidade de se aprimorar conhecimentos sobre o crescimento de espécies em regiões subtropicais, o presente trabalho teve por objetivo monitorar o crescimento diamétrico intra-anual de espécies arbóreas em Colombo, Paraná. Em novembro de 2009 foram instaladas faixas dendrométricas em árvores adultas (de 15 a 25 indivíduos) de 9 espécies dentre as mais frequentes em um remanescente de Floresta Ombrófila Mista. As medições de incremento diamétrico foram feitas mensalmente, até junho de 2011. Ocotea bicolor se diferenciou das outras espécies, apresentando crescimento superior e constante. Isto pode ser atribuído ao menor recobrimento da copa das árvores, favorecendo o acesso à luz pela espécie e consequentemente o seu crescimento. O maior crescimento de todas as espécies estudadas ocorreu no outono de 2011, estação antecedida por um inverno de baixa precipitação (inverno de 2010), em que a luminosidade esteve mais disponível para a produção fotossintética