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.

Optimization, high availability and redundancy in information communications and technology using networks and systems virtualization architectures

Mestrado em Engenharia Informática

Algoritmo neurogenético com vistas para o planejamento de rotas de robôs móveis autônomos

Pós-graduação em Ciência da Computação - IBILCE

QoS em WIMAX – Análise e avaliação de módulos para simulação com o ns-2

Mestrado em Engenharia Electrotécnica e de Computadores

On the use of IEEE 802.15.4/Zigbee for time-sensitive wireless sensor network applications

Mestrado em Engenharia Electrotécnica e de Computadores

Sistema de detecção de intrusão em redes informáticas

Mestrado em Engenharia Electrotécnica e de Computadores

Projecto, optimização e gestão de redes MAIS

Mestrado em Engenharia Electrotécnica e de Computadores

E+ID&I: uma rede social especializada para a conceção e desenvolvimento de projetos ID&I

Conferência IADIS Ibero-Americana WWW/Internet 2013, São Leopoldo, RS, Brasil, 21-23 Novembro.

Redes (des)conexas de intervenção local na violência infanto-juvenil

O objectivo deste estudo é apresentar os resultados de uma análise diagnóstica da atuação institucional relativamente às situações de violência infanto-juvenil em três territórios de um concelho da períferia de Lisboa(Portugal)

Estudo e análise de soluções de acessos Wimax partilhados em cenários residenciais

Mestrado em Engenharia Electrotécnica e de Computadores

Sustentabilidade empresarial e sua contabilidade: relatórios divulgados em Portugal, via internet

O tema da Sustentabilidade Empresarial aqui analisado, está relacionado com as respectivas práticas contabilísticas e inerentes DF - Demonstrações Financeiras divulgadas pelas empresas. A nossa motivação por esta temática resulta de sentirmos uma crescente insatisfação, manifestada por diferentes utilizadores, porque a informação contida nas DF, em modelo tradicional, é considerada muito insuficientes face às novas e crescentes necessidades sociais. Então, o objectivo principal desta nossa investigação é recolher reflexões associadas ao tema, identificar as carências informativas dominantes e possíveis soluções de melhoria. Pela revisão da literatura específica confirmamos a existência de crescentes preocupações internacionais no âmbito desta insuficiência informativa, manifestadas por académicos e profissionais de diferentes origens. O relato do desempenho empresarial tende para utilizar informação mais qualificada com rigor, abrangência e fiabilidade. Tudo isso exige maior participação da contabilidade. É imperioso que as actuais DF sejam melhoradas e na falta de normativos específicos a solução proposta, actualmente mais dominante, é da GRI-Global Reporting Initiative. Esse relato, aplicável de modo voluntário, é designado pela GRI como Relatório de Sustentabilidade o qual tende a ser divulgado, cada vez, mais, por diferentes empresas nacionais e internacionais. Procuramos saber a situação actual desses Relatórios em Portugal, pela sua divulgação via Internet. Das 83 empresas seleccionadas concluímos: 22% das mesmas já o aplicam e em modelos que se aproximam das orientações da CRI; 50% das mesmas divulgam alguns conteúdos associados ao tema mas predomina a dispersão informativa e a forma descritiva, portanto não quantificada; os restantes 28% não divulgam qualquer informação deste âmbito; os valores e indicadores de desempenho constantes dos conteúdos relatados e com base contabilística são muito reduzidos; só alguns relatórios incluem certificação por empresas especializadas; destacamos as empresas do sector financeiro com melhores relatórios, atendendo à diversidade, fundamentação e extensão de conteúdos informativos divulgados. As empresas seleccionadas não constituem uma amostra significativa de todo o universo empresarial instalado em Portugal. Então, as nossas conclusões sobre elas não poderão ser extensivas a todo esse universo mas poderão representar as melhores práticas existentes em Portugal porque essas empresas são aderentes do fórum BCSD Portugal-Conselho Empresarial para o Desenvolvimento Sustentável e das orientações da GRI. Não obstante as limitações encontradas parece-nos que este trabalho poderá propiciar um contributo válido para académicos investiga-dores desta temática e profissionais que partilhem destas novas necessidades de informação empresarial.

Arquitecturas e ferramentas para gestão de redes e sistemas: estudo de um caso

Mestrado em Engenharia Informática - Área de Especialização em Arquitecturas, Sistemas e Redes

A comunicação online das organizações culturais. A utilização de novas ferramentas pelas companhias de teatro de Lisboa e Vale do Tejo de 2000 a 2013

Nos dias de hoje, ferramentas como o Facebook, o Twitter e o YouTube fazem parte do quotidiano. Desde o recente virar do século até ao presente, a sociedade transformou-se. Usamos cada vez mais a Internet. Nela pesquisamos informação e partilhamos conteúdos, sejam eles textos, fotos ou vídeos. As novas ferramentas de comunicação online trouxeram uma maior interatividade entre aquele que emite uma mensagem e aquele que a recebe. Nesta investigação procura-se analisar quais e como é que as novas ferramentas de comunicação online são utilizadas pelas organizações culturais, nomeadamente, pelas companhias de teatro de Lisboa e Vale do Tejo, entre 2000 e 2013. Ao longo do enquadramento teórico são abordadas questões como a comunicação das organizações, a comunicação online das mesmas, a utilização das novas ferramentas online por parte de companhias de teatro e o que são considerados sites, media sociais e redes sociais. Entre várias referências, serão citados Grunig e Hunt (1984) que apresentam o modelo de comunicação de dois sentidos simétricos, assim como Phillips e Young (2009) que abordam as diferentes ferramentas de comunicação online. São ainda apresentados estudos relativos à utilização destas ferramentas por parte das organizações artísticas, elaborados pela MTM London (2009) e pelo Australia Council for the Arts (2011). A presente investigação tem por base a observação e acompanhamento das ferramentas de comunicação online utilizadas pelas companhias de teatro, inquéritos aos produtores dessas companhias e entrevistas a alguns dos seus diretores. Com este trabalho pretende-se verificar que ferramentas estão a ser utilizadas pelas companhias, com que regularidade, quem nas companhias gere essas ferramentas, quais as vantagens percecionadas, entre outros aspetos.

Previsão de vento baseado em técnicas de Data Mining

Mestrado em Engenharia Electrotécnica – Sistemas Eléctricos de Energia

A dimensão política da segurança para o ciberespaço na União Europeia : a agenda digital, a estratégia de cibersegurança e a cooperação UE-OTAN

Mestrado em Relações Internacionais.