El objetivo general de la presente Tesis Doctoral consiste en implementar el protocolo de cifrado ECIES (Elliptic Curve Integrated Encryption Scheme), tanto en plataforma PC como en tarjetas inteligentes Java Card, a fin de: Analizar la viabilidad de diferentes implementaciones…

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e.…

En esta tesis se presenta el desarrollo de una herramienta gráfica avanzada de resolución de problemas de radiación y dispersión. El núcleo electromagnético que incluye la aplicación se basa en el Método de los Momentos y es capaz de analizar…