Sistema seguro de votação eletrônica multi-células

Em uso desde a Grécia antiga e atualmente massificado na maioria dos países do mundo, o sistema de votação tradicional baseado em cédulas de papel possui diversos problemas associados à segurança, tais como dificuldades para evitar coerção do eleitor, venda do voto e substituição fraudulenta do eleitor. Além de problemas de usabilidade que acarretam erros de preenchimento da cédula e um processo de apuração lento, que pode durar dias. Ao lado disso, o sistema tradicional não fornece a contraprova do voto, que permite ao eleitor conferir se o seu voto foi corretamente contabilizado na apuração. Inicialmente acreditou-se que a informatização do sistema de votação resolveria todos os problemas do sistema tradicional. Porém, com a sua implantação em alguns países o sistema de votação eletrônica não mostrou-se capaz de fornecer garantias irrefutáveis que não tivesse sido alvo de alterações fraudulentas durante o seu desenvolvimento ou operação. A má reputação do sistema eletrônico está principalmente associada à falta de transparência dos processos que, em sua maioria, não proporcionam a materialização do voto, conferido pelo eleitor para fins de contagem manual, e nem geram evidências (contraprova) da correta contabilização do voto do eleitor. O objetivo deste trabalho é propor uma arquitetura de votação eletrônica que integra, de forma segura, o anonimato e autenticidade do votante, a confidencialidade e integridade do voto/sistema. O sistema aumenta a usabilidade do esquema de votação baseado em "Três Cédulas" de papel, implementando-o computacionalmente. O esquema oferece maior credibilidade ao sistema de votação através da materialização e contraprova do voto, resistência à coerção e ao comércio do voto. Utilizando esquemas de criptografia assimétrica e segurança computacional clássica, associado a um sistema de auditoria eficiente, a proposta garante segurança e transparência nos processos envolvidos. A arquitetura de construção modular distribui a responsabilidade entre suas entidades, agregando-lhe robustez e viabilizando eleições em grande escala. O protótipo do sistema desenvolvido usando serviços web e Election Markup Language mostra a viabilidade da proposta.

A reforma (im)possível : uma análise da resistência parlamentar à proposta de reforma política apreciada pela Câmara dos Deputados sob a forma do Projeto de Lei nº 1.210/2007

Analisa as razões da rejeição da proposta de adoção de listas partidárias preordenadas fechadas, componente da reforma política expressa no Projeto de Lei nº 1.210/2007. Apresenta e avalia os seguintes motivos : divergência quanto ao diagnóstico dos problemas institucionais do país; incerteza quanto aos impactos da reforma na possibilidade pessoal de reprodução eleitoral; preocupação casuística com as eleições presidenciais de 2010; perda de vantagens pessoais que detêm com as regras atuais.

A resistência de John Locke e a Constituição brasileira de 1988

Indica como a resistência pode ser discutida a partir do texto da Constituição brasileira, visto que ele não deixa explícitas as regras sobre esse direito. Trata-se de um ensaio teórico com pesquisa exploratória por meio de levantamento bibliográfico e documental, que explica o que é o direito de resistência e como ele pode ser utilizado.