110 citations · 128 across the 6 of their papers we have counts for
3 papers · 1 filter
Cryptanalysis of a one round chaos-based Substitution Permutation Network
David Arroyo, Jesus Diaz, F. B. Rodriguez
The interleaving of chaos and cryptography has been the aim of a large set of works since the beginning of the nineties. Many encryption proposals have been introduced to improve c…
A formal methodology for integral security design and verification of network protocols
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and inform…
Formal security analysis of registration protocols for interactive systems: a methodology and a case of study
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
In this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a crypt…