Francisco B. Rodriguez

Learn More
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 conventional cryptography. However, many of those proposals possess serious problems according to the basic requirements for the secure exchange of information. In this paper we(More)
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 cryptographically robust solution to classical security issues. Namely, we focus on the secrecy and authenticity properties while keeping a high usability. Indeed, most interactive(More)
One major need in the context of Privacy Enhancing Technologies (PETs) is to bridge theoretical proposals and practical implementations. In order to foster easy deployment of PETs, the crux is on proposing standard and well-defined programming interfaces. This need is not completely fulfilled in the case of group signatures. Group signatures are key(More)
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 informal verification; and formal representation and procedural verification. It is an iterative process where the early steps are simpler than the last ones. Therefore, the effort(More)
A traditional view in neuroscience is that information arriving through one channel, i.e. a synapse, is encoded through a single code in the signal, e.g., the rate or the precise timing of the incoming events. However, not all the neural readers have to be interested in the same aspect of a common input signal, especially in multifunctional networks that(More)