Revisiting the Security of the ALRED Design and Two of Its Variants: Marvin and LetterSoup

The ALRED construction is a lightweight strategy for constructing message authentication algorithms from an underlying iterated block cipher. Even though this construction's original analyses show that it is secure against some attacks, the absence of formal security proofs in a strong security model still brings uncertainty on its robustness. In this paper, aiming to give a better understanding of the security level provided by different authentication algorithms based on this design strategy, we formally analyze two ALRED variants-the MARVIN message authentication code and the LETTERSOUP authenticated-encryption scheme,-bounding their security as a function of the attacker's resources and of the underlying cipher's characteristics.

Vectorial capacity, basic reproduction number, force of infection and all that: formal notation to complete and adjust their classical concepts and equations

A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' threshold theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.

alpha,beta-Unsaturated Diazoketones as Platforms in the Asymmetric Synthesis of Hydroxylated Alkaloids. Total Synthesis of 1-Deoxy-8,8a-diepicastanospermine and 1,6-Dideoxyepicastanospermine and Formal Synthesis of Pumiliotoxin 251D

A versatile and concise approach for the stereoselective synthesis of mono-, di-, and trihydroxylated indolizidines is presented in four to six steps from Cbz-prolinal and a diazophosphonate. The key steps involved a Wolff rearrangement, followed by a stereoselective dihydroxylation/epoxidation reaction, from an alpha,beta-unsaturated diazoketone. The strategy also permits extension to the synthesis of many natural hydroxylated indolizidine alkaloids as demonstrated in the formal synthesis of pumiliotoxin 251D.

Tigela, café e xícara: diversidade formal e dinâmicas de consumo na produção das louças brancas da cidade de São Paulo no começo do século XX

Este artigo apresenta algumas reflexões em torno das formas e volumes das louças em faiança fina produzidas, e consumidas, na cidade de São Paulo, durante o período de 1913 e 1937, relacionando-as a alguns hábitos levados a cabo na Paulicéia, como o crescente costume do "cafezinho". Para tal, parte-se das análises do acervo gerado pelo resgate do sítio arqueológico Petybon, localizado na zona metropolitana da cidade, no bairro da Lapa, região da Água Branca/Vila Romana. Aponta-se que a diversidade de formas das louças dialoga com os projetos de modernidade pensados para São Paulo e as demandas dos consumidores cujas diversas práticas culturais influenciaram na produção das faianças finas pela Fábrica de Louças Santa Catharina e Indústrias Reunidas Fábricas Matarazzo.

Elementos estruturais de um modelo formal dos esportes coletivos de invasão

O desenvolvimento de um modelo formal da estratégia e da dinâmica do jogo constitui uma contribuição científica original no contexto dos esportes coletivos de invasão. O procedimento construtivo de uma estratégia definido no modelo é composto de cinco conjuntos de elementos ordenados em níveis hierárquicos, que suportam o desenho de estratégias capazes de orientar adequadamente uma equipe em um jogo. Uma vez definido o modelo da estratégia, a formalização da dinâmica do jogo permite sua contextualização no momento de sua aplicação para orientar os jogadores no confronto. O jogo teve sua estrutura decomposta e suas propriedades dinâmicas fundamentais foram definidas. Dessa forma, a modelagem da dinâmica da oposição e da estratégia se complementam, pois definem os momentos nos quais a informação estratégica é utilizada pelos jogadores. A estrutura formal apresentada inaugura uma linha de pesquisa que poderá contribuir para limitar a subjetividade na definição dos critérios de análise de futuros desenhos experimentais, levando à interpretações e comparações mais acuradas dos resultados dos estudos.