Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Autenticação de vídeo H.264/AVC

Hoje em dia, há cada vez mais informação audiovisual e as transmissões ou ficheiros multimédia podem ser partilhadas com facilidade e eficiência. No entanto, a adulteração de conteúdos vídeo, como informação financeira, notícias ou sessões de videoconferência utilizadas num tribunal, pode ter graves consequências devido à importância desse tipo de informação. Surge então, a necessidade de assegurar a autenticidade e a integridade da informação audiovisual. Nesta dissertação é proposto um sistema de autenticação de vídeo H.264/Advanced Video Coding (AVC), denominado Autenticação de Fluxos utilizando Projecções Aleatórias (AFPA), cujos procedimentos de autenticação, são realizados ao nível de cada imagem do vídeo. Este esquema permite um tipo de autenticação mais flexível, pois permite definir um limite máximo de modificações entre duas imagens. Para efectuar autenticação é utilizada uma nova técnica de autenticação de imagens, que combina a utilização de projecções aleatórias com um mecanismo de correcção de erros nos dados. Assim é possível autenticar cada imagem do vídeo, com um conjunto reduzido de bits de paridade da respectiva projecção aleatória. Como a informação de vídeo é tipicamente, transportada por protocolos não fiáveis pode sofrer perdas de pacotes. De forma a reduzir o efeito das perdas de pacotes, na qualidade do vídeo e na taxa de autenticação, é utilizada Unequal Error Protection (UEP). Para validação e comparação dos resultados implementou-se um sistema clássico que autentica fluxos de vídeo de forma típica, ou seja, recorrendo a assinaturas digitais e códigos de hash. Ambos os esquemas foram avaliados, relativamente ao overhead introduzido e da taxa de autenticação. Os resultados mostram que o sistema AFPA, utilizando um vídeo com qualidade elevada, reduz o overhead de autenticação em quatro vezes relativamente ao esquema que utiliza assinaturas digitais e códigos de hash.

Structural characterization and immunogenicity in wildtype and immune tolerant mice of degraded recombinant human interferon alpha2b

Purpose - To study the influence of protein structure on the immunogenicity in wildtype and immune tolerant mice of well-characterized degradation products of recombinant human interferon alpha2b (rhIFNα2b). Methods - RhIFNα2b was degraded by metal catalyzed oxidation (M), crosslinking with glutaraldehyde (G), oxidation with hydrogen peroxide (H) and incubation in a boiling water bath (B). The products were characterized with UV absorption, circular dichroism and fluorescence spectroscopy, gel permeation chromatography, reversed-phase HPLC, SDS-PAGE, Western blotting and mass spectrometry. The immunogenicity of the products was evaluated in wildtype mice and in transgenic mice immune tolerant for hIFNα2. Serum antibodies were detected by ELISA or surface plasmon resonance. Results - M-rhIFNα2b contained covalently aggregated rhIFNα2b with three methionines partly oxidized to methionine sulfoxides. G-rhIFNα2b contained covalent aggregates and did not show changes in secondary structure. H-rhIFNα2b was only chemically changed with four partly oxidized methionines. B-rhIFNα2b was largely unfolded and heavily aggregated. Native (N) rhIFNα2b was immunogenic in the wildtype mice but not in the transgenic mice, showing that the latter were immune tolerant for rhIFNα2b. The antirhIFNα2b antibody levels in the wildtype mice depended on the degradation product: M-rhIFNα2b > H-rhIFNα2b ~ N-rhIFNα2b >> B-rhIFNα2b; G-rhIFNα2b did not induce anti-rhIFNα2b antibodies. In the transgenic mice, only M-rhIFNα2b could break the immune tolerance. Conclusions - RhIFNα2b immunogenicity is related to its structural integrity. Moreover, the immunogenicity of aggregated rhIFNα2b depends on the structure and orientation of the constituent protein molecules and/or on the aggregate size.

Structural characterization and immunogenicity in wild-type and immune tolerant mice of degraded recombinant human interferon Alpha2b

Purpose: This study was conducted to study the influence of protein structure on the immunogenicity in wild-type and immune tolerant mice of well-characterized degradation products of recombinant human interferon alpha2b (rhIFNα2b). Methods: RhIFNα2b was degraded by metal-catalyzed oxidation (M), cross-linking with glutaraldehyde (G), oxidation with hydrogen peroxide (H), and incubation in a boiling water bath (B). The products were characterized with UV absorption, circular dichroism and fluorescence spectroscopy, gel permeation chromatography, reverse-phase high-pressure liquid chromatography, sodium dodecyl sulfate polyacrylamide gel electrophoresis, Western blotting, and mass spectrometry. The immunogenicity of the products was evaluated in wild-type mice and in transgenic mice immune tolerant for hIFNα2. Serum antibodies were detected by enzyme-linked immunosorbent assay or surface plasmon resonance. Results: M-rhIFNα2b contained covalently aggregated rhIFNα2b with three methionines partly oxidized to methionine sulfoxides. G-rhIFNα2b contained covalent aggregates and did not show changes in secondary structure. H-rhIFNα2b was only chemically changed with four partly oxidized methionines. B-rhIFNα2b was largely unfolded and heavily aggregated. Nontreated (N) rhIFNα2b was immunogenic in the wild-type mice but not in the transgenic mice, showing that the latter were immune tolerant for rhIFNα2b. The anti-rhIFNα2b antibody levels in the wild-type mice depended on the degradation product: M-rhIFNα2b > H-rhIFNα2b ∼ N-rhIFNα2b ≫ B-rhIFNα2b; G-rhIFNα2b did not induce anti-rhIFNα2b antibodies. In the transgenic mice, only M-rhIFNα2b could break the immune tolerance. Conclusions: RhIFNα2b immunogenicity is related to its structural integrity. Moreover, the immunogenicity of aggregated rhIFNα2b depends on the structure and orientation of the constituent protein molecules and/or on the aggregate size.

The influence of genetic polymorphisms in XRCC3 and ADH5 genes on the frequency of genotoxicity biomarkers in workers exposed to formaldehyde

The International Agency for Research on Cancer classified formaldehyde as carcinogenic to humans because there is “sufficient epidemiological evidence that it causes nasopharyngeal cancer in humans”. Genes involved in DNA repair and maintenance of genome integrity are critically involved in protecting against mutations that lead to cancer and/or inherited genetic disease. Association studies have recently provided evidence for a link between DNA repair polymorphisms and micronucleus (MN) induction. We used the cytokinesis-block micronucleus (CBMN assay) in peripheral lymphocytes and MN test in buccal cells to investigate the effects of XRCC3 Thr241Met, ADH5 Val309Ile, and Asp353Glu polymorphisms on the frequency of genotoxicity biomarkers in individuals occupationally exposed to formaldehyde (n = 54) and unexposed workers (n = 82). XRCC3 participates in DNA double-strand break/recombination repair, while ADH5 is an important component of cellular metabolism for the elimination of formaldehyde. Exposed workers had significantly higher frequencies (P < 0.01) than controls for all genotoxicity biomarkers evaluated in this study. Moreover, there were significant associations between XRCC3 genotypes and nuclear buds, namely XRCC3 Met/Met (OR = 3.975, CI 1.053–14.998, P = 0.042) and XRCC3 Thr/Met (OR = 5.632, CI 1.673–18.961, P = 0.005) in comparison with XRCC3 Thr/Thr. ADH5 polymorphisms did not show significant effects. This study highlights the importance of integrating genotoxicity biomarkers and genetic polymorphisms in human biomonitoring studies.

EVIV: An end-to-end verifiable Internet voting system

Traditionally, a country's electoral system requires the voter to vote at a specific day and place, which conflicts with the mobility usually seen in modern live styles. Thus, the widespread of Internet (mobile) broadband access can be seen as an opportunity to deal with this mobility problem, i.e. the adoption of an Internet voting system can make the live of voter's much more convenient; however, a widespread Internet voting systems adoption relies on the ability to develop trustworthy systems, i.e. systems that are verifiable and preserve the voter's privacy. Building such a system is still an open research problem. Our contribution is a new Internet voting system: EVIV, a highly sound End-to-end Verifiable Internet Voting system, which offers full voter's mobility and preserves the voter's privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe or at a public library. Additionally, EVIV has private vote verification mechanisms, in which the voter just has to perform a simple match of two small strings (4-5 alphanumeric characters), that detect and protect against vote manipulations both at the insecure vote client platform and at the election server side. (c) 2012 Elsevier Ltd. All rights reserved.

Subunits of the chaperonin CCT are associated with Tetrahymena microtubule structures and are involved in cilia biogenesis

The cytosolic chaperonin CCT is a heterooligomeric complex of about 900 kDa that mediates the folding of cytoskeletal proteins. We observed by indirect immunofluorescence that the Tetrahymena TpCCTalpha, TpCCTdelta, TpCCTepsilon, and TpCCTeta-subunits colocalize with tubulin in cilia, basal bodies, oral apparatus, and contractile vacuole pores. TpCCT-subunits localization was affected during reciliation. These findings combined with atomic force microscopy measurements in reciliating cells indicate that these proteins play a role during cilia biogenesis related to microtubule nucleation, tubulin transport, and/or axoneme assembly. The TpCCT-subunits were also found to be associated with cortex and cytoplasmic microtubules suggesting that they can act as microtubule-associated proteins. The TpCCTdelta being the only subunit found associated with the macronuclear envelope indicates that it has functions outside of the 900 kDa complex. Tetrahymena cytoplasm contains granular/globular-structures of TpCCT-subunits in close association with microtubule arrays. Studies of reciliation and with cycloheximide suggest that these structures may be sites of translation and folding. Combined biochemical techniques revealed that reciliation affects the oligomeric state of TpCCT-subunits being tubulin preferentially associated with smaller CCT oligomeric species in early stages of reciliation. Collectively, these findings indicate that the oligomeric state of CCT-subunits reflects the translation capacity of the cell and microtubules integrity.

Water quality issues in rivers, lakes and reservoirs in Asian countries: an approach to the problems and the methodologies

Water covers over 70% of the Earth's surface, and is vital for all known forms of life. But only 3% of the Earth's water is fresh water, and less than 0.3% of all freshwater is in rivers, lakes, reservoirs and the atmosphere. However, rivers and lakes are an important part of fresh surface water, amounting to about 89%. In this Master Thesis dissertation, the focus is on three types of water bodies – rivers, lakes and reservoirs, and their water quality issues in Asian countries. The surface water quality in a region is largely determined both by the natural processes such as climate or geographic conditions, and the anthropogenic influences such as industrial and agricultural activities or land use conversion. The quality of the water can be affected by pollutants discharge from a specific point through a sewer pipe and also by extensive drainage from agriculture/urban areas and within basin. Hence, water pollutant sources can be divided into two categories: Point source pollution and Non-point source (NPS) pollution. Seasonal variations in precipitation and surface run-off have a strong effect on river discharge and the concentration of pollutants in water bodies. For example, in the rainy season, heavy and persistent rain wash off the ground, the runoff flow increases and may contain various kinds of pollutants and, eventually, enters the water bodies. In some cases, especially in confined water bodies, the quality may be positive related with rainfall in the wet season, because this confined type of fresh water systems allows high dilution of pollutants, decreasing their possible impacts. During the dry season, the quality of water is largely related to industrialization and urbanization pollution. The aim of this study is to identify the most common water quality problems in Asian countries and to enumerate and analyze the methodologies used for assessment of water quality conditions of both rivers and confined water bodies (lakes and reservoirs). Based on the evaluation of a sample of 57 papers, dated between 2000 and 2012, it was found that over the past decade, the water quality of rivers, lakes, and reservoirs in developing countries is being degraded. Water pollution and destruction of aquatic ecosystems have caused massive damage to the functions and integrity of water resources. The most widespread NPS in Asian countries and those which have the greatest spatial impacts are urban runoff and agriculture. Locally, mine waste runoff and rice paddy are serious NPS problems. The most relevant point pollution sources are the effluents from factories, sewage treatment plant, and public or household facilities. It was found that the most used methodology was unquestionably the monitoring activity, used in 49 of analyzed studies, accounting for 86%. Sometimes, data from historical databases were used as well. It can be seen that taking samples from the water body and then carry on laboratory work (chemical analyses) is important because it can give an understanding of the water quality. 6 papers (11%) used a method that combined monitoring data and modeling. 6 papers (11%) just applied a model to estimate the quality of water. Modeling is a useful resource when there is limited budget since some models are of free download and use. In particular, several of used models come from the U.S.A, but they have their own purposes and features, meaning that a careful application of the models to other countries and a critical discussion of the results are crucial. 5 papers (9%) focus on a method combining monitoring data and statistical analysis. When there is a huge data matrix, the researchers need an efficient way of interpretation of the information which is provided by statistics. 3 papers (5%) used a method combining monitoring data, statistical analysis and modeling. These different methods are all valuable to evaluate the water quality. It was also found that the evaluation of water quality was made as well by using other types of sampling different than water itself, and they also provide useful information to understand the condition of the water body. These additional monitoring activities are: Air sampling, sediment sampling, phytoplankton sampling and aquatic animal tissues sampling. Despite considerable progress in developing and applying control regulations to point and NPS pollution, the pollution status of rivers, lakes, and reservoirs in Asian countries is not improving. In fact, this reflects the slow pace of investment in new infrastructure for pollution control and growing population pressures. Water laws or regulations and public involvement in enforcement can play a constructive and indispensable role in environmental protection. In the near future, in order to protect water from further contamination, rapid action is highly needed to control the various kinds of effluents in one region. Environmental remediation and treatment of industrial effluent and municipal wastewaters is essential. It is also important to prevent the direct input of agricultural and mine site runoff. Finally, stricter environmental regulation for water quality is required to support protection and management strategies. It would have been possible to get further information based in the 57 sample of papers. For instance, it would have been interesting to compare the level of concentrations of some pollutants in the diferente Asian countries. However the limit of three months duration for this study prevented further work to take place. In spite of this, the study objectives were achieved: the work provided an overview of the most relevant water quality problems in rivers, lakes and reservoirs in Asian countries, and also listed and analyzed the most common methodologies.

Tipologia, instalação, funcionamento e manutenção dos diversos tipos de aparelhos de apoio em obras de arte

Trabalho Final para a obtenção do grau de Mestre em Engenharia Civil

Handgrip strength

The basic function of the human hand is the manipulation and grasping of various objects in all daily activities, including work activities. This is greatly influenced by strength and manual dexterity. However age, gender and other contexts such as work or leisure activities could influence strength. Handgrip strength, a measure of maximum voluntary force of the hand, has proved to be reliable and valid as an objective parameter to evaluate the functional integrity of the hand as part of the musculoskeletal system. It correlates highly with strength in other muscular groups and is therefore considered as a good indicator of overall muscular strength and functional stress and could be used as a predictor of physical disability. Handgrip strength assessment is simple and reliable and used commonly by several investigators and health professionals, in different contexts (medical, nutritional, rehabilitation, professional settings, engineering, etc.) and with different purposes (research, diagnostic, assessment, etc.). In clinical and rehabilitation settings is of vital importance in the determination of effectiveness of several interventions and for monitoring evolution of diseases. Various ways (methods, techniques and equipments) of collecting information on grip strength have been reported. This chapter will review basic concepts on handgrip function, methodologies of assessment, contexts of application and correlates, such as physical activity, health or nutritional status. Several populations and reference values as also the relationships between handgrip and clinical status, aging, risk of disability and diseases, will be discussed.

Application of alkaline comet assay in human biomonitoring for genotoxicity: a study on occupational exposure to cytostatics

The use of cytostatics drugs in anticancer therapy is increasing. Health care workers can be occupationally exposed to these drugs classified as carcinogenic, mutagenic or teratogenic. Cytostatics drugs are a heterogeneous group of chemicals widely used in the treatment of cancer, nevertheless have been proved to be also mutagens, carcinogens and teratogens. Workers may be exposed to this drug, being in the hospital settings the main focus dwelled upon the pharmacy, and nursing personnel. Alkaline comet assay is one of the most promising short-term genotoxicity assays for human risk assessment, being recommended to monitor populations chronically exposed to genotoxic agents. DNA glycosylase (OGG1) represents the main mechanism of protecting the integrity of the human DNA with respect to 8-OHdG, the most well studied biomarker of oxidative damage.

Gestão da segurança e saúde no trabalho em trabalhos de beneficiação rodoviária: perfil de autoestrada e a aplicação dos princípios gerais da prevenção à fase de execução da obra

Mestrado em Segurança e Higiene no Trabalho

Avaliação dos desvios no posicionamento da IMRT prostática com marcadores fiduciais versus estruturas anatómicas

Mestrado em Radioterapia

Water quality in lakes and reservoirs in China

Dissertation elaborated for the partial fulfilment of the requirements of the Master Degree in Civil Engineering in the Speciality Area of Hydarulics

Besnoitia besnoiti and Toxoplasma gondii: two apicomplexan strategies to manipulate the host cell centrosome and Golgi apparatus

Besnoitia besnoiti and Toxoplasma gondii are two closely related parasites that interact with the host cell microtubule cytoskeleton during host cell invasion. Here we studied the relationship between the ability of these parasites to invade and to recruit the host cell centrosome and the Golgi apparatus. We observed that T. gondii recruits the host cell centrosome towards the parasitophorous vacuole (PV), whereas B. besnoiti does not. Notably, both parasites recruit the host Golgi apparatus to the PV but its organization is affected in different ways. We also investigated the impact of depleting and over-expressing the host centrosomal protein TBCCD1, involved in centrosome positioning and Golgi apparatus integrity, on the ability of these parasites to invade and replicate. Toxoplasma gondii replication rate decreases in cells over-expressing TBCCD1 but not in TBCCD1-depleted cells; while for B. besnoiti no differences were found. However, B. besnoiti promotes a reorganization of the Golgi ribbon previously fragmented by TBCCD1 depletion. These results suggest that successful establishment of PVs in the host cell requires modulation of the Golgi apparatus which probably involves modifications in microtubule cytoskeleton organization and dynamics. These differences in how T. gondii and B. besnoiti interact with their host cells may indicate different evolutionary paths.