Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP

The Closest Vector Problem (CVP) and the Shortest Vector Problem (SVP) are prime problems in lattice-based cryptanalysis, since they underpin the security of many lattice-based cryptosystems. Despite the importance of these problems, there are only a few CVP-solvers publicly available, and their scalability was never studied. This paper presents a scalable implementation of an enumeration-based CVP-solver for multi-cores, which can be easily adapted to solve the SVP. In particular, it achieves super-linear speedups in some instances on up to 8 cores and almost linear speedups on 16 cores when solving the CVP on a 50-dimensional lattice. Our results show that enumeration-based CVP-solvers can be parallelized as effectively as enumeration-based solvers for the SVP, based on a comparison with a state of the art SVP-solver. In addition, we show that we can optimize the SVP variant of our solver in such a way that it becomes 35%-60% faster than the fastest enumeration-based SVP-solver to date.

Comparação entre métodos de avaliação do risco de desenvolvimento de lesões musculoesqueléticas nas extremidades distais dos membros superiores: um estudo em trabalhos de montagem manual

Dissertação de mestrado em Engenharia Humana

Assistive locomotion strategies for active lower limb devices

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Polymicrobial interactions in infections: the case Pseudomonas aeruginosa and Candida albicans in ventilator-associated pneumonia

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clinica)

Desenvolvimento de um Range Extender para Veículo Elétrico

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Síntese de derivados de adenina e guanina

Tese de Doutoramento em Ciências (Especialidade em Química)

Implementação de um sistema de previsão e controlo para operação otimizada de um sistema de recolha e armazenamento de água pluvial

Dissertação de mestrado integrado em Engenharia Civil

A Prova por reconhecimento de pessoas produzida ex novo em sede de audiência de julgamento: fiabilidade e impacto na descoberta da verdade material

Dissertação de mestrado em Direito Judiciário (Direitos Processuais e Organização Judiciária)

Candida tropicalis biofilms: biomass, metabolic activity and secreted aspartyl proteinase production

According to epidemiological data, Candida tropicalis has been related to urinary tract infections and haematological malignancy. Several virulence factors seem to be responsible for C. tropicalis infections, for example: their ability to adhere and to form biofilms onto different indwelling medical devices; their capacity to adhere, invade and damage host human tissues due to enzymes production such as proteinases. The main aim of this work was to study the behaviour of C. tropicalis biofilms of different ages (24120 h) formed in artificial urine (AU) and their ability to express aspartyl proteinase (SAPT) genes. The reference strain C. tropicalis ATCC 750 and two C. tropicalis isolates from urine were used. Biofilms were evaluated in terms of culturable cells by colony-forming units enumeration; total biofilm biomass was evaluated using the crystal violet staining method; metabolic activity was evaluated by XTT assay; and SAPT gene expression was determined by real-time PCR. All strains of C. tropicalis were able to form biofilms in AU, although with differences between strains. Candida tropicalis biofilms showed a decrease in terms of the number of culturable cells from 48 to 72 h. Generally, SAPT3 was highly expressed. C. tropicalis strains assayed were able to form biofilms in the presence of AU although in a strain- and time-dependent way, and SAPT genes are expressed during C. tropicalis biofilm formation.