Propuestas de Temas de Tesis
Francisco Rodríguez-Henríquez francisco@cs.cinvestav.mx http://delta.cs.cinvestav.mx/~francisco/

CINVESTAV-IPN Departamento de Ingeniería Eléctrica Sección de Computación
Julio 2005

Francisco Rodríguez Henríquez

Estadísticas y Datos Personales

Julio 2005

Francisco Rodríguez Henríquez

Datos Generales
Posición actual: Investigador Titular CINVESTAV 3A y Coordinador Académico de la Sección de Computación. Antigüedad: Edad: Nacionalidad: Experiencia profesional: 3 años [fecha de ingreso: 2 de mayo de 2002]. 37 años salvadoreña y mexicana acumula una experiencia de más de 3 años de trabajo en compañías IT de Alemania y EUA, en donde colaboró como investigador y arquitecto de diseño …ver más…

o Objetivo: Desarrollar un jugador autómata inteligente de backgammon utilizando heurísticas evolutivas tales como algoritmos genéticos o sistema inmune artificial. o Reto: Jugar competitivamente [i.e, con porcentajes de victoria superiores al 50%]en contra del campeón mundial autómata.
Julio 2005

Francisco Rodríguez Henríquez

Tema 3: Elecciones Electrónicas con protocolos de curvas elípticas
S ervidor de Autenticación Votante

S ervidor de Verificación T

S ervidor de Conteo

Julio 2005

Francisco Rodríguez Henríquez

Tema 3: Elecciones Electrónicas con protocolos de curvas elípticas [Descripción]
• Escenarios – Elecciones electrónicas – Reuniones de accionistas – Distribución segura de software Objetivos – anonimato – Sistema justo y auditable – Conteo rápido Herramientas – Matemáticas basadas en DSA, RSA y curvas elípticas – Firmas a ciegas – Protocolos no rastreables. Objetivo – Se cuenta con un sistema de elecciones electrónicas que implementa un protocolo basado en DSA y RSA. Se desea implementar un esquema basado en criptografía de curvas elípticas exclusivamente.

•

•

•

Julio 2005

Francisco Rodríguez Henríquez

Esquema de Votación
{V, AS, Cert v, z 1 , z 2, (z 1 ||z 2||t)dv mod nv} {AS, V, z 3, (z 4||z 5||z 6||t)ev mod nv} S ervidor de Autenticación

Votante T = {s1 || s2 || s3 || s4 || s5 || y || pr1 || pr2 || m} S ervidor de Verificación T

Las firm as s4, s5 son hechas con DSA.