2014

1. Modelado de un criptoprocesador mediante LISA

   RECSI XIII: actas de la XIII Reunión Española sobre Criptología y Seguridad de la Información. Alicante, 2-5 de septiembre de 2014